diff options
| author | Joseph Koshy <jkoshy@FreeBSD.org> | 2003-03-30 00:36:22 +0000 |
|---|---|---|
| committer | Joseph Koshy <jkoshy@FreeBSD.org> | 2003-03-30 00:36:22 +0000 |
| commit | 7daabed8b996069ad42b95e1eaa73a6114fbc138 (patch) | |
| tree | 3b0f8bfb814f923249f86469897006d1144ab557 /lang/sml-nj/files/patch-ab | |
| parent | Upgrade to the 24-March-2003 GCC 3.3 in-development snapshot. (diff) | |
Make this port build on 5-CURRENT.
Diffstat (limited to 'lang/sml-nj/files/patch-ab')
| -rw-r--r-- | lang/sml-nj/files/patch-ab | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/lang/sml-nj/files/patch-ab b/lang/sml-nj/files/patch-ab index 6e9c75bb0469..8d3c6f6edc31 100644 --- a/lang/sml-nj/files/patch-ab +++ b/lang/sml-nj/files/patch-ab @@ -1,6 +1,6 @@ ---- config/install.sh.orig Wed Aug 5 13:43:43 1998 -+++ config/install.sh Sat Jan 29 20:46:09 2000 -@@ -181,6 +181,18 @@ +--- config/install.sh.orig Fri Oct 20 16:02:25 2000 ++++ config/install.sh Tue Mar 11 22:30:59 2003 +@@ -155,6 +155,22 @@ if [ "$?" != "0" ]; then exit $? fi @@ -10,6 +10,10 @@ +if [ -f $patch_file ]; then + $PATCH $PATCH_ARGS < $patch_file +fi ++patch_file="${FILESDIR}/extra-patch-genposixnames" ++if [ -f $patch_file ]; then ++ $PATCH $PATCH_ARGS < $patch_file ++fi +if grep -w FPE_INTDIV /usr/include/machine/trap.h > /dev/null 2>&1; then + patch_file="${FILESDIR}/extra-patch-signals" + if [ -f $patch_file ]; then |