diff options
author | Gustav Eek <gustav.eek@fripost.org> | 2019-08-11 20:54:54 +0200 |
---|---|---|
committer | Gustav Eek <gustav.eek@fripost.org> | 2019-08-11 20:54:54 +0200 |
commit | ba6f821c2ae1ec2842218092ddba1f02aa0324d4 (patch) | |
tree | c8fbabed5d6b3012c79435d86cc21e4d292b274c /resources/Makefile-common | |
parent | 64483c46f79d8c45c71d1b68b3422fbadc36e2ae (diff) | |
parent | 70a2979acfd9e9d0e75200750708dd4668538a6c (diff) |
Merge branch 'master' into 2018-11-26-board
Conflicts: 2018/Makefile due to earlier massive Makefile update.
Diffstat (limited to 'resources/Makefile-common')
-rw-r--r-- | resources/Makefile-common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/Makefile-common b/resources/Makefile-common index 80713a6..c64793f 100644 --- a/resources/Makefile-common +++ b/resources/Makefile-common @@ -62,7 +62,7 @@ send: help: @echo 'This script do not run without arguments. Run for example:' @echo - @echo ' $ make 2014-02-13-board-notes.pdf' + @for f in $(SEND_FILES) ; do echo " $ make $$f"; done @echo ' $ make all' @echo ' $ make send' @echo ' $ make clean' |