--- makexsb.in.old	Sun Jul 29 15:37:36 2001
+++ makexsb.in	Sun Jul 29 16:18:20 2001
@@ -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?"
