diff options
| author | jkoshy <jkoshy@FreeBSD.org> | 1999-02-02 07:29:00 +0000 |
|---|---|---|
| committer | jkoshy <jkoshy@FreeBSD.org> | 1999-02-02 07:29:00 +0000 |
| commit | 0e188cd462f88304872e7de51da62cc5a501c638 (patch) | |
| tree | 5df713b1d59e9dcd8b8e9c4bd2b9b7ddcb3e1aa4 /lang/sml-nj-devel/files | |
| parent | c515f76201e5628b83d97120e6d643eb3f1ed1fb (diff) | |
| download | FreeBSD-ports-0e188cd462f88304872e7de51da62cc5a501c638.zip FreeBSD-ports-0e188cd462f88304872e7de51da62cc5a501c638.tar.gz | |
Correct stale patch.
Found by: asami@freebsd.org
Diffstat (limited to 'lang/sml-nj-devel/files')
| -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 b54e8f0..122da2b 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" |
