aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--sim/.Sanitize28
1 files changed, 28 insertions, 0 deletions
diff --git a/sim/.Sanitize b/sim/.Sanitize
index 2372ed9..c2e6077 100644
--- a/sim/.Sanitize
+++ b/sim/.Sanitize
@@ -91,6 +91,34 @@ else
done
fi
+m32r_files="configure configure.in ChangeLog"
+if ( echo $* | grep keep\-m32r > /dev/null ) ; then
+ for i in $m32r_files ; do
+ if test ! -d $i && (grep sanitize-m32r $i > /dev/null) ; then
+ if [ -n "${verbose}" ] ; then
+ echo Keeping m32r stuff in $i
+ fi
+ fi
+ done
+else
+ for i in $m32r_files ; do
+ if test ! -d $i && (grep sanitize-m32r $i > /dev/null) ; then
+ if [ -n "${verbose}" ] ; then
+ echo Removing traces of \"m32r\" from $i...
+ fi
+ cp $i new
+ sed '/start\-sanitize\-m32r/,/end-\sanitize\-m32r/d' < $i > new
+ if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
+ if [ -n "${verbose}" ] ; then
+ echo Caching $i in .Recover...
+ fi
+ mv $i .Recover
+ fi
+ mv new $i
+ fi
+ done
+fi
+
v850_files="configure configure.in ChangeLog"
if ( echo $* | grep keep\-v850 > /dev/null ) ; then
for i in $v850_files ; do