Make sure user is running GNU make.

diff --git a/src/Makefile b/src/Makefile
index 28f6edf70b1fcb6a75853a942af11300ee95b5e2..37bb210d80c4e12fe491aadcf47b38eda98fe906 100644 (file)
--- 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. ;\