diff options
author | Luke Shumaker <lukeshu@sbcglobal.net> | 2017-02-01 23:49:56 -0500 |
---|---|---|
committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2017-02-01 23:51:56 -0500 |
commit | e1aba20488181b0553f1eb7f20b02736a992bf6f (patch) | |
tree | 2099917c08f152fa1402b3cb5fbae42db21dbac7 /GNUmakefile | |
parent | 2cdd7acfc2df072b80d319490fbff8bb583d311e (diff) |
Add a GNUmakefile to apply the MAKEFLAGS we want.
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile new file mode 100644 index 0000000000..b8bfc3528b --- /dev/null +++ b/GNUmakefile @@ -0,0 +1,13 @@ +# This file is a hack to let us pass whatever flags we want to Make, +# since adjusting MAKEFLAGS at runtime only half-works. +# +# 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) +$(target): + @+$(MAKE) -f Makefile --no-builtin-rules --no-builtin-variables --warn-undefined-variables $(MAKECMDGOALS) +$(or $(call rest,$(MAKECMDGOALS)),_$(target)): $(target) + @: |