From 64e45b0ebc510f6034988ce14bc893c935ae4c6f Mon Sep 17 00:00:00 2001
From: Bryan Henderson <bryanh@giraffe.netgate.net>
Date: Thu, 19 Dec 1996 08:03:46 +0000
Subject: [PATCH] Make sure user is running GNU make.

---
 src/Makefile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/Makefile b/src/Makefile
index 28f6edf70b..37bb210d80 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -6,7 +6,7 @@
 # Copyright (c) 1994, Regents of the University of California
 #
 # IDENTIFICATION
-#    $Header: /cvsroot/pgsql/src/Makefile,v 1.13 1996/12/10 03:03:36 scrappy Exp $
+#    $Header: /cvsroot/pgsql/src/Makefile,v 1.14 1996/12/19 08:03:46 bryanh Exp $
 #
 #-------------------------------------------------------------------------
 
@@ -22,6 +22,12 @@ ETAGS = etags
 XARGS = xargs
 
 .DEFAULT all:
+	@set - `$(MAKE) -v -f /dev/null 2>&1`.; \
+	if test $$1 != GNU; then \
+	  echo "This Makefile requires GNU make."; \
+	  echo "Please read the file INSTALL in this directory for details."; \
+	  false ; \
+	fi
 	@if test $(PORTNAME) = UNDEFINED; then \
 	  echo You must set the PORTNAME value in Makefile.global before \
 	       you can build Postgres. ;\