diff options
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 0000000..ab2c284 --- /dev/null +++ b/GNUmakefile @@ -0,0 +1,13 @@ +# +# Flag that we're using GNU make. +# + +all: phony + @$(MAKE) -f Makefile IFDEFFLAGS=-DGNUMAKE $@ + +%: phony + @$(MAKE) -f Makefile IFDEFFLAGS=-DGNUMAKE $@ + +phony: ; + +GNUmakefile: ; |