From 45088c8848de5866ad108c482399a9300fd673aa Mon Sep 17 00:00:00 2001
From: Satoshi Asami <asami@FreeBSD.org>
Date: Sat, 7 Oct 2000 22:28:28 +0000
Subject: Rename ${FILISDER}/patch-* to ${FILESDIRA}/extra-patch-*.  (These
 patches are applied from within the configure script, patched by patch-ab.)

---
 lang/sml-nj/files/patch-ab | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lang/sml-nj')

diff --git a/lang/sml-nj/files/patch-ab b/lang/sml-nj/files/patch-ab
index d8af8af38993..6e9c75bb0469 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
-- 
cgit v1.2.3