summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorPeter Eisentraut <peter_e@gmx.net>2000-11-06 18:18:22 +0000
committerPeter Eisentraut <peter_e@gmx.net>2000-11-06 18:18:22 +0000
commit6f2f1690156d4815a40977f900f098af4f745086 (patch)
tree266125dd875671dab5ebe45c9574651102f3a19f /Makefile
parentdb631de531dd13f3aef01782d5440284b8473d81 (diff)
downloadpostgresql-6f2f1690156d4815a40977f900f098af4f745086.tar.gz
Fix GNU make detection.
(The test 'make --version' with FreeBSD make (and potentially others) would just reinvoke make on the same Makefile, resulting in an infinite loop.)
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index ba03d24c5d..e73686416c 100644
--- a/Makefile
+++ b/Makefile
@@ -13,14 +13,14 @@
all check install installdirs installcheck uninstall dep depend clean distclean maintainer-clean:
@if ! [ -f GNUmakefile ] ; then \
- echo "You need to run the \`configure' program first. See the file"; \
- echo "\`INSTALL' for installation instructions." ; \
+ echo "You need to run the 'configure' program first. See the file"; \
+ echo "'INSTALL' for installation instructions." ; \
false ; \
fi
@IFS=':' ; \
for dir in $$PATH; do \
for prog in gmake gnumake make; do \
- if [ -f $$dir/$$prog ] && ( $$dir/$$prog --version 2>/dev/null | grep GNU >/dev/null 2>&1 ) ; then \
+ if [ -f $$dir/$$prog ] && ( $$dir/$$prog -f /dev/null --version 2>/dev/null | grep GNU >/dev/null 2>&1 ) ; then \
GMAKE=$$dir/$$prog; \
break 2; \
fi; \