diff --git a/GNUmakefile b/GNUmakefile new file mode 100644 index 00000000000..38656c8df54 --- /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