diff options
author | Peter Eisentraut <peter_e@gmx.net> | 2000-11-06 18:18:22 +0000 |
---|---|---|
committer | Peter Eisentraut <peter_e@gmx.net> | 2000-11-06 18:18:22 +0000 |
commit | 6f2f1690156d4815a40977f900f098af4f745086 (patch) | |
tree | 266125dd875671dab5ebe45c9574651102f3a19f /Makefile | |
parent | db631de531dd13f3aef01782d5440284b8473d81 (diff) | |
download | postgresql-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-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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; \ |