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 | |
| parent | 7fbdc4d2991b22185f7d6d7a1ba58f5d665a304a (diff) | |
| download | ports-f5b19c099d6a00c7c274f3e3324b19c196d8da8e.tar.gz ports-f5b19c099d6a00c7c274f3e3324b19c196d8da8e.zip | |
Notes
Diffstat (limited to 'lang/sml-nj')
| -rw-r--r-- | lang/sml-nj/files/patch-ab | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/lang/sml-nj/files/patch-ab b/lang/sml-nj/files/patch-ab new file mode 100644 index 000000000000..b54e8f0d3449 --- /dev/null +++ b/lang/sml-nj/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 + + # |