--- makexsb.in.orig	Sat Apr 27 11:23:44 2002
+++ makexsb.in	Sat Apr 27 11:23:32 2002
@@ -74,9 +74,9 @@
 
 if test -r "$makefile" ; then
    echo ""
-   echo "make -f ${makefile}  $makeargs"
+   echo "gmake -f ${makefile}  $makeargs"
    echo ""
-   make -f ${makefile}  $makeargs
+   gmake -f ${makefile}  $makeargs
 else
    echo "${makefile}: doesn't exist or is not readable."
    echo "Have you configured XSB for this architecture?"
