diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Makefile b/src/Makefile index c5eca7a9d2e..e73686416c6 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; \ |