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 /src/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 'src/Makefile')
| -rw-r--r-- | src/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Makefile b/src/Makefile index c5eca7a9d2..e73686416c 100644 --- a/src/Makefile +++ b/src/Makefile @@ -11,16 +11,16 @@ # GNUmakefile won't exist yet, so we catch that case as well. -all install clean dep depend distclean maintainer-clean: +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 | 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; \ |