mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-13 07:34:50 +00:00
041df375fc
PR: 39474 Submitted by: maintainer
15 lines
438 B
Plaintext
15 lines
438 B
Plaintext
--- 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?"
|