changeset 17352 | 8b5c1e11c27b |
parent 15584 | 83a66923c332 |
child 18424 | a158f53837e2 |
--- a/NewMakefile.gmk Wed Jul 05 18:55:08 2017 +0200 +++ b/NewMakefile.gmk Tue May 21 13:18:28 2013 +0200 @@ -73,7 +73,7 @@ grep ^.PHONY: | head -n 1 | cut -d " " -f 2-))) $(all_phony_targets): - @$(foreach spec,$(SPEC),($(MAKE) -f NewMakefile.gmk SPEC=$(spec) $(VERBOSE) VERBOSE=$(VERBOSE) $@) &&) true + @$(foreach spec,$(SPEC),($(MAKE) -f NewMakefile.gmk SPEC=$(spec) $(VERBOSE) VERBOSE=$(VERBOSE) LOG_LEVEL=$(LOG_LEVEL) $@) &&) true endif endif