diff options
author | Joseph Koshy <jkoshy@FreeBSD.org> | 1999-02-02 04:00:12 +0000 |
---|---|---|
committer | Joseph Koshy <jkoshy@FreeBSD.org> | 1999-02-02 04:00:12 +0000 |
commit | f5b19c099d6a00c7c274f3e3324b19c196d8da8e (patch) | |
tree | b7be0e8599068ca3cddbde6cbf27b322f1441517 /lang/sml-nj-devel | |
parent | Unbreak for ELF. (diff) |
Add patch for ELF support.
Notes
Notes:
svn path=/head/; revision=16480
Diffstat (limited to 'lang/sml-nj-devel')
-rw-r--r-- | lang/sml-nj-devel/files/patch-ab | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/lang/sml-nj-devel/files/patch-ab b/lang/sml-nj-devel/files/patch-ab new file mode 100644 index 000000000000..b54e8f0d3449 --- /dev/null +++ b/lang/sml-nj-devel/files/patch-ab @@ -0,0 +1,15 @@ +--- 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 + + # |