diff options
author | jkoshy <jkoshy@FreeBSD.org> | 1999-02-02 15:29:00 +0800 |
---|---|---|
committer | jkoshy <jkoshy@FreeBSD.org> | 1999-02-02 15:29:00 +0800 |
commit | 0e188cd462f88304872e7de51da62cc5a501c638 (patch) | |
tree | 5df713b1d59e9dcd8b8e9c4bd2b9b7ddcb3e1aa4 /lang/sml-nj-devel | |
parent | c515f76201e5628b83d97120e6d643eb3f1ed1fb (diff) | |
download | freebsd-ports-gnome-0e188cd462f88304872e7de51da62cc5a501c638.tar.gz freebsd-ports-gnome-0e188cd462f88304872e7de51da62cc5a501c638.tar.zst freebsd-ports-gnome-0e188cd462f88304872e7de51da62cc5a501c638.zip |
Correct stale patch.
Found by: asami@freebsd.org
Diffstat (limited to 'lang/sml-nj-devel')
-rw-r--r-- | lang/sml-nj-devel/files/patch-ab | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/lang/sml-nj-devel/files/patch-ab b/lang/sml-nj-devel/files/patch-ab index b54e8f0d3449..122da2bf99a8 100644 --- a/lang/sml-nj-devel/files/patch-ab +++ b/lang/sml-nj-devel/files/patch-ab @@ -1,8 +1,8 @@ ---- 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 +--- config/install.sh.orig Wed Aug 5 13:43:43 1998 ++++ config/install.sh Tue Feb 2 12:57:13 1999 +@@ -181,6 +181,12 @@ + if [ "$?" != "0" ]; then + exit $? fi +# we need to patch just before build +patch_file="${FILESDIR}/patch-global-names" @@ -10,6 +10,6 @@ + echo "applying source patches" + $PATCH $PATCH_ARGS < $patch_file +fi - cd $SRCDIR - - # + if [ ! -x $RUNDIR/run.$ARCH-$OPSYS ]; then + cd $SRCDIR/runtime/objs + echo "compiling the run-time system" |