database/postgres
database/postgres
1
0
Fork 0
mirror of https://github.com/postgres/postgres.git synced 2025-05-01 01:04:50 +03:00
Code

Make sure user is running GNU make.

Browse Source
This commit is contained in:
Bryan Henderson 1996-12-19 08:03:46 +00:00
parent 56e8243d22
commit 64e45b0ebc
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Makefile
View File

@ -6,7 +6,7 @@
# Copyright (c) 1994, Regents of the University of California # Copyright (c) 1994, Regents of the University of California
# #
# IDENTIFICATION # 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 XARGS = xargs
.DEFAULT all: .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 \ @if test $(PORTNAME) = UNDEFINED; then \
echo You must set the PORTNAME value in Makefile.global before \ echo You must set the PORTNAME value in Makefile.global before \
you can build Postgres. ;\ you can build Postgres. ;\