Redirect to GNU make when possible

[bup.git] / Makefile

diff --git a/Makefile b/Makefile
new file mode 100644 (file)
index 0000000..e7f6ff9
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,15 @@
+
+# Redirect to GNU make
+
+.SUFFIXES:
+
+default: config/finished
+       config/bin/make
+
+.DEFAULT:
+       $(MAKE) config/finished
+       config/bin/make $(.TARGETS)
+
+# Dependency changes here should be mirrored in GNUmakefile
+config/finished: configure config/configure config/configure.inc config/*.in
+       MAKE= ./configure