X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=find-gnumake.sh;h=f5cf67682b4d696a8dd5294ba4d1029b03d65309;hb=99e23fa74844ef606b7f3f33768eab6466c9dfef;hp=e32c3a1e8d9bc0a92961f17bae2a051b2bf701a8;hpb=bfdb13b52f7043fef11f03e03e4660c658b53168;p=sbcl.git

diff --git a/find-gnumake.sh b/find-gnumake.sh
index e32c3a1..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,14 +6,14 @@ 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