diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/GNUmakefile b/GNUmakefile index cc5a40d..8b86fb9 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -4,10 +4,9 @@ # Most of the complexity is dancing around to avoid having any # possibly conflicting identifiers. -MAKEFLAGS += --no-print-directory rest = $(wordlist 2,$(words $1),$1) target = $(or $(firstword $(MAKECMDGOALS)),default) $(or $(call rest,$(MAKECMDGOALS)),_$(target)): $(target) @: $(target): - @+$(MAKE) -f Makefile --no-builtin-rules --no-builtin-variables $(MAKECMDGOALS) + @+$(MAKE) --no-print-directory -f Makefile --no-builtin-rules --no-builtin-variables $(MAKECMDGOALS) |