X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=find-gnumake.sh;h=f5cf67682b4d696a8dd5294ba4d1029b03d65309;hb=b27852e74e11ccc9808305a73d815a4a67d77963;hp=c4186fef65aa4b1d1ae5ac8c9bfd3aa79214f853;hpb=22c1de0a40df83bb5628974010a879cb2c17ff53;p=sbcl.git

diff --git a/find-gnumake.sh b/find-gnumake.sh
index c4186fe..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,15 +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 [ "GNU Make" = "`make -v | head -n 1 | cut -b 0-8`" ]; then
-    GNUMAKE=make
+  elif [ -x "`which gnumake`" ] ; then
+    # MacOS X aka Darwin
+    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\""
 }