diff options
| author | asami <asami@FreeBSD.org> | 2000-10-07 22:28:28 +0000 |
|---|---|---|
| committer | asami <asami@FreeBSD.org> | 2000-10-07 22:28:28 +0000 |
| commit | 3dd1621aaacf3767a0928614b387cda08d885341 (patch) | |
| tree | 9f71b2fd7438b617b4d80b2778daf0ff11d37c36 /lang/sml-nj | |
| parent | 4b77b79d675f8aace83d05c70635ab1697899265 (diff) | |
| download | FreeBSD-ports-3dd1621aaacf3767a0928614b387cda08d885341.zip FreeBSD-ports-3dd1621aaacf3767a0928614b387cda08d885341.tar.gz | |
Rename ${FILISDER}/patch-* to ${FILESDIRA}/extra-patch-*. (These patches
are applied from within the configure script, patched by patch-ab.)
Diffstat (limited to 'lang/sml-nj')
| -rw-r--r-- | lang/sml-nj/files/patch-ab | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/sml-nj/files/patch-ab b/lang/sml-nj/files/patch-ab index d8af8af..6e9c75b 100644 --- a/lang/sml-nj/files/patch-ab +++ b/lang/sml-nj/files/patch-ab @@ -6,12 +6,12 @@ fi +# we need to patch just before build +echo "applying source patches" -+patch_file="${FILESDIR}/patch-global-names" ++patch_file="${FILESDIR}/extra-patch-global-names" +if [ -f $patch_file ]; then + $PATCH $PATCH_ARGS < $patch_file +fi +if grep -w FPE_INTDIV /usr/include/machine/trap.h > /dev/null 2>&1; then -+ patch_file="${FILESDIR}/patch-signals" ++ patch_file="${FILESDIR}/extra-patch-signals" + if [ -f $patch_file ]; then + $PATCH $PATCH_ARGS < $patch_file + fi |
