diff options
Diffstat (limited to '')
| -rw-r--r-- | GNUmakefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile new file mode 100644 index 0000000000..38656c8df5 --- /dev/null +++ b/GNUmakefile @@ -0,0 +1,14 @@ +# This Makefile is used as a shim to aid people with muscle memory +# so that they can type "make". +# +# This file and all of its targets should not be used by anything important. + +all: build + +build: + ./mach build + +clean: + ./mach clobber + +.PHONY: all build clean |