From 648201ba311f7a945f51249ec3aaca0867b012ab Mon Sep 17 00:00:00 2001
From: Peter Verthez <Peter.Verthez@advalvas.be>
Date: Sun, 13 Oct 2002 16:31:30 +0000
Subject: [PATCH] Give a warning if make is not GNU make.

---
 Makefile | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
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
-- 
2.30.2