diff options
| -rw-r--r-- | GNUmakefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index b8bfc3528b..667391a879 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -11,3 +11,4 @@ $(target): @+$(MAKE) -f Makefile --no-builtin-rules --no-builtin-variables --warn-undefined-variables $(MAKECMDGOALS) $(or $(call rest,$(MAKECMDGOALS)),_$(target)): $(target) @: +.PHONY: $(sort $(target) _$(target) $(MAKECMDGOALS)) |