Give a warning if make is not GNU make.

diff --git a/Makefile b/Makefile
new file mode 100644 (file)
index 0000000..46e7b69
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,11 @@
+# $Id$
+# $Name$
+all:
+       @if test -r GNUmakefile; then \
+          echo Sorry, GNU make is required; \
+          case `gmake --version 2>/dev/null` in \
+            *GNU*) echo Try again with 'gmake' ;; \
+          esac; \
+       else \
+          echo Please run ./configure first; \
+       fi