Unsanitize SH3 support.

diff --git a/opcodes/.Sanitize b/opcodes/.Sanitize
index fcdefd7..8b941dc 100644 (file)
--- a/opcodes/.Sanitize
+++ b/opcodes/.Sanitize
@@ -100,28 +100,6 @@ else
        done
 fi
 
-sh3_files="ChangeLog sh-opc.h"
-if ( echo $* | grep keep\-sh3 > /dev/null ) ; then
-       if [ -n "${verbose}" ] ; then
-               echo Keeping sh3 stuff in $sh3_files.
-       fi
-else
-       if [ -n "${verbose}" ]; then
-               echo -n Cleaning sh3 in `pwd`:
-       fi
-       for f in $sh3_files ; do
-               if [ -n "${verbose}" ] ; then
-                       echo -n " " $f
-               fi
-               sed -e '/start\-sanitize\-sh3/,/end\-sanitize\-sh3/d' -e '/ xl /d' < $f > new
-               if [ -n "${safe}" ] ; then
-                       mv $f .Recover
-               fi
-               mv new $f
-       done
-fi
-
-
 rce_files="configure.in"
 if ( echo $* | grep keep\-rce > /dev/null ) ; then
        for i in $rce_files ; do

diff --git a/sim/sh/.Sanitize b/sim/sh/.Sanitize
index 989238d..3ad8665 100644 (file)
--- a/sim/sh/.Sanitize
+++ b/sim/sh/.Sanitize
@@ -39,27 +39,4 @@ Things-to-lose:
 
 Do-last:
 
-# Don't try to clean directories here, as the 'mv' command will fail.
-# Also, grep fails on NFS mounted directories.
-if ( echo $* | grep keep\-sh3 > /dev/null ) ; then
-       for i in * ; do
-               if test ! -d $i && (grep sanitize-sh3 $i > /dev/null) ; then
-                       echo Keeping SH3 stuff in $i
-               fi
-       done
-else
-       for i in * ; do
-               if test ! -d $i && (grep sanitize-sh3 $i > /dev/null) ; then
-                       echo Cleaning the \"SH3\" out of $i...
-                       cp $i new
-                       sed '/start\-sanitize\-sh3/,/end-\sanitize\-sh3/d' < $i > new
-                       if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
-                               echo Caching $i in .Recover...
-                               mv $i .Recover
-                       fi
-                       mv new $i
-               fi
-       done
-fi
-
 # End of file.