diff options
| author | Joseph Koshy <jkoshy@FreeBSD.org> | 1999-02-02 07:29:00 +0000 |
|---|---|---|
| committer | Joseph Koshy <jkoshy@FreeBSD.org> | 1999-02-02 07:29:00 +0000 |
| commit | d461f3d40c101d8aceadb4db872c9d2a460df982 (patch) | |
| tree | 6549d2450119e950d1867340375d5e9d2397c4c9 /lang/sml-nj-devel | |
| parent | Upgrade to 4.40 "G" -- a special FreeBSD version to fix minor problems with (diff) | |
Correct stale patch.
Found by: asami@freebsd.org
Notes
Notes:
svn path=/head/; revision=16484
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" |