From 0b5a97861b8088c326abe81094a207cc3daeacea Mon Sep 17 00:00:00 2001
From: Luke Shumaker <lukeshu@lukeshu.com>
Date: Sun, 23 Apr 2017 10:49:47 -0400
Subject: add a GNUmakefile to hack the make flags, so it doesn't need any
 flags

---
 GNUmakefile | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 GNUmakefile

diff --git a/GNUmakefile b/GNUmakefile
new file mode 100644
index 0000000..b8bfc35
--- /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)
+	@:
-- 
cgit v1.2.3