Add make1 -> env - make -R, whose -p output is easier to read.

[mgear/mgear.git] / demo / make1

diff --git a/demo/make1 b/demo/make1
new file mode 100755 (executable)
index 0000000..d519d86
--- /dev/null
+++ b/demo/make1
@@ -0,0 +1,3 @@
+#!/bin/bash
+# Cleaner version of make that reduces clutter when inspecting -p output.
+env - make -R "$@"