diff options
| -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. |