1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-04 22:33:27 +00:00
freebsd-ports/lang/sml-nj-devel/files/patch-ab
1999-02-02 04:00:12 +00:00

16 lines
340 B
Plaintext

--- config/install.sh-- Wed Aug 5 13:43:43 1998
+++ config/install.sh Mon Feb 1 15:57:31 1999
@@ -193,6 +193,12 @@
exit 1
fi
fi
+# we need to patch just before build
+patch_file="${FILESDIR}/patch-global-names"
+if [ -f $patch_file ]; then
+ echo "applying source patches"
+ $PATCH $PATCH_ARGS < $patch_file
+fi
cd $SRCDIR
#