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

diff --git a/find-gnumake.sh b/find-gnumake.sh
index 6f6e84d..38819f7 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 | head -n 1 | cut -b 0-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\""
 }