diff options
author | Cyril Brulebois <kibi@debian.org> | 2017-03-30 22:05:56 +0000 |
---|---|---|
committer | Cyril Brulebois <kibi@debian.org> | 2017-03-30 22:05:56 +0000 |
commit | 8449e5d57dff71bfa96986b4382460942f688f27 (patch) | |
tree | 3a7c51be0aa027c6b7e2909a74bd34f7de92875c /build/Makefile | |
parent | ac1f51f90800ed3669302b04abfb8357a5e0fcb1 (diff) | |
download | installation-guide-8449e5d57dff71bfa96986b4382460942f688f27.zip |
Makefile: Mention the exact ./buildone.sh command to be run.
Diffstat (limited to 'build/Makefile')
-rw-r--r-- | build/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/Makefile b/build/Makefile index fd06b6c80..61413df52 100644 --- a/build/Makefile +++ b/build/Makefile @@ -23,6 +23,7 @@ $(TARGETS): %: fi ; \ export destdir=build.out.$$lang.$$arch ; \ export tempdir=build.tmp.$$lang.$$arch ; \ + echo "Calling ./buildone.sh \"$$arch\" \"$$lang\" \"$$formats\"" ; \ ./buildone.sh "$$arch" "$$lang" "$$formats" ; \ mkdir -p "$$arch_destination/$$destsuffix" ; \ for format in $$formats; do \ |