X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=make-target-1.sh;h=a08510438c99ed16a1a0eba7d6a297fdefe874d8;hb=1bbd405c3c21f93db7aa956946738c8a3f30837d;hp=a5267329c1c28e3872a2abe9b9c2f72f70e87b28;hpb=d7f6139a91d7d9b0667a597584ae306d958bb2f4;p=sbcl.git

diff --git a/make-target-1.sh b/make-target-1.sh
index a526732..a085104 100644
--- a/make-target-1.sh
+++ b/make-target-1.sh
@@ -16,8 +16,23 @@
 echo //entering make-target-1.sh
 
 # the GNU dialect of "make" -- easier to find or port it than to
-# try to figure out how to port to the local dialect..
-gnumake=${GNUMAKE:-gmake}
+# try to figure out how to port to the local dialect...
+if [ "$GNUMAKE" != "" ] ; then
+  # The user is evidently trying to tell us something.
+  gnumake="$GNUMAKE"
+elif [ -x "`which gmake`" ] ; then
+  # "gmake" is the preferred name in *BSD.
+  gnumake=gmake
+else
+  # All the world's a Linux, and all its users weary of cautious
+  # BSDish worries that "make" might not be GNU make; and at this
+  # point we've already spent quite a while in make-host-1.sh, so
+  # they're naturally unamused when we bail out complaining we don't
+  # know where GNU make is. So since it's not really any worse to guess
+  # wrong here than to fail by not trying, just guess that "make" is
+  # GNU make and hope for the best.
+  gnumake=make
+fi
 
 # Build the runtime system and symbol table (.nm) file.
 #
@@ -36,6 +51,6 @@ cd ../..
 # Use a little C program to grab stuff from the C header files and
 # smash it into Lisp source code.
 cd tools-for-build
-$gnumake grovel_headers
+$gnumake grovel_headers || exit 1
 cd ..
 tools-for-build/grovel_headers > output/stuff-groveled-from-headers.lisp