diff options
| author | Björn Persson <bjorn@rombobjörn.se> | 2013-09-19 20:58:13 +0200 |
|---|---|---|
| committer | Björn Persson <bjorn@rombobjörn.se> | 2013-09-19 20:58:13 +0200 |
| commit | 2590c539bf3d1436c02256b802f9d0de35079372 (patch) | |
| tree | b4b56d2ba0aa35516c20d7c557d5c0ba796faf20 | |
| parent | a77c70276f99b039472fabc9ba1e2e2fd2235aaf (diff) | |
Removed --no-print-directory. I can't find a way to prevent sub-Makes from inheriting it.
| -rw-r--r-- | comfignat.mk | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/comfignat.mk b/comfignat.mk index 60c29b7..13919fe 100644 --- a/comfignat.mk +++ b/comfignat.mk @@ -472,8 +472,7 @@ options_building = ${addprefix -X,${option_values}} main_makefile := ${firstword ${MAKEFILE_LIST}} delegation_command = @$${MAKE} --file=${abspath ${main_makefile}} \ - --include-dir=${abspath ${dir ${main_makefile}}} \ - --no-print-directory + --include-dir=${abspath ${dir ${main_makefile}}} # delegation_command is the Make command line that delegating makefiles in # separate build directories use to delegate commands to the main makefile. The # first pathname in MAKEFILE_LIST is the main makefile. @@ -588,7 +587,7 @@ preprocess: $${preprocessed_files_in_builddir} build: $${build_targets} $${staged_usage_GPRs} ${stagedir}: - @${MAKE} build --no-print-directory + @${MAKE} build # "make install" straight out of a source package triggers a build, but if # something has been built then "make install" doesn't rebuild anything, just # copies the built files to their destination. |