From e45abef49f72f7724d44c1d8bc00d629d5a49898 Mon Sep 17 00:00:00 2001 From: Steven Allen Date: Thu, 1 Aug 2019 12:53:00 -0700 Subject: [PATCH] feat: add default makefile to call gnumake * gmake will prefer GNUmakefile over Makefile. * Other make implementations will read Makefile and then call gmake. --- Makefile | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 00000000000..8c6963e611e --- /dev/null +++ b/Makefile @@ -0,0 +1,6 @@ +all: + @gmake $@ +.PHONY: all + +.DEFAULT: + @gmake $@