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.
#
# 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