remove sh3 stuff.

diff --git a/opcodes/.Sanitize b/opcodes/.Sanitize
index 9600959f6a5b2f838c0362820d9e18d731048391..13d2d8f93a81e3895ac59fc7264e244316e702b9 100644 (file)
--- a/opcodes/.Sanitize
+++ b/opcodes/.Sanitize
@@ -96,6 +96,29 @@ else
        done
 fi
 
+
+sh3_files="ChangeLog sh3-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
@@ -130,4 +153,5 @@ for i in * ; do
        fi
 done
 
+
 # End of file.