+# the GNU dialect of "make" -- easier to find or port it than to
+# 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
+ # FIXME: Now that we do this early, maybe prompt the user rather
+ # than guessing? I'd still be annoyed, though... -- CSR,
+ # 2003-05-16.
+ #
+ # All the world's a Linux, and all its users weary of cautious
+ # BSDish worries that "make" might not be GNU make; so just guess
+ # that "make" is GNU make and hope for the best.
+ GNUMAKE=make
+fi
+
+export GNUMAKE
+echo //GNUMAKE=\"$GNUMAKE\"
+
+