diff options
| -rwxr-xr-x | support/scripts/mkmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/scripts/mkmakefile b/support/scripts/mkmakefile index 974e2c0eb..833be6a92 100755 --- a/support/scripts/mkmakefile +++ b/support/scripts/mkmakefile @@ -30,7 +30,7 @@ MAKEARGS += O=\$(if \$(patsubst /%,,\$(makedir)),\$(CURDIR)/)\$(patsubst %/,%,\$ MAKEFLAGS += --no-print-directory -.PHONY: all \$(MAKECMDGOALS) +.PHONY: _all \$(MAKECMDGOALS) all := \$(filter-out Makefile,\$(MAKECMDGOALS)) |