X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=find-gnumake.sh;h=f5cf67682b4d696a8dd5294ba4d1029b03d65309;hb=HEAD;hp=6f6e84d15ccb61526f30d21fc88d6a9093bb2df1;hpb=2b967f60e803c9d25b4d61b979298bad9a9f5003;p=sbcl.git

diff --git a/find-gnumake.sh b/find-gnumake.sh
index 6f6e84d..f5cf676 100644
--- a/find-gnumake.sh
+++ b/find-gnumake.sh
@@ -1,3 +1,4 @@
+#!/bin/false
 # Not a shell script, but something intended to be sourced from shell scripts
 find_gnumake() {
   # the GNU dialect of "make" -- easier to find or port it than to
@@ -5,18 +6,18 @@ find_gnumake() {
   if [ "$GNUMAKE" != "" ] ; then
     # The user is evidently trying to tell us something.
     GNUMAKE="$GNUMAKE"
+  elif [ "GNU Make" = "`make -v 2>/dev/null | head -n 1 | cut -b 1-8`" ]; then
+    GNUMAKE=make
   elif [ -x "`which gmake`" ] ; then
     # "gmake" is the preferred name in *BSD.
     GNUMAKE=gmake
   elif [ -x "`which gnumake`" ] ; then
     # MacOS X aka Darwin
-    GNUMAKE=gnumake  
-  elif [ "GNU Make" = "`make -v | head -n 1 | cut -b 0-8`" ]; then
-    GNUMAKE=make
+    GNUMAKE=gnumake
   else
     echo "GNU Make not found. Try setting the environment variable GNUMAKE."
     exit 1
   fi
   export GNUMAKE
-  echo "//GNUMAKE=\"$GNUMAKE\""
+  #echo "//GNUMAKE=\"$GNUMAKE\""
 }