diff options
author | Bryan Henderson <bryanh@giraffe.netgate.net> | 1996-12-19 08:03:46 +0000 |
---|---|---|
committer | Bryan Henderson <bryanh@giraffe.netgate.net> | 1996-12-19 08:03:46 +0000 |
commit | 64e45b0ebc510f6034988ce14bc893c935ae4c6f (patch) | |
tree | 9f53ecf78432630f26c4bd5c3b9a6bb969b4ecec /src | |
parent | 56e8243d223cec721e9a4dd2288f9d9af7cd48c2 (diff) | |
download | postgresql-64e45b0ebc510f6034988ce14bc893c935ae4c6f.tar.gz postgresql-64e45b0ebc510f6034988ce14bc893c935ae4c6f.zip |
Make sure user is running GNU make.
Diffstat (limited to 'src')
-rw-r--r-- | src/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 28f6edf70b1..37bb210d80c 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. ;\ |