Remove SH3e sanitization.

diff --git a/sim/sh/.Sanitize b/sim/sh/.Sanitize
index 5c39f7649da310446eca18d571528be2fc814a3e..7ab53a0dc5eb87be80bb6a6bd08e4fd30a4809bf 100644 (file)
--- a/sim/sh/.Sanitize
+++ b/sim/sh/.Sanitize
@@ -37,26 +37,5 @@ Things-to-lose:
 
 
 Do-last:
-sh3e_files="ChangeLog interp.c gencode.c"
-if ( echo $* | grep keep\-sh3e > /dev/null ) ; then
-       if [ -n "${verbose}" ] ; then
-               echo Keeping sh3e stuff in $sh3e_files.
-       fi
-else
-       if [ -n "${verbose}" ]; then
-               echo -n Cleaning sh3e in `pwd`:
-       fi
-       for f in $sh3e_files ; do
-               if [ -n "${verbose}" ] ; then
-                       echo -n " " $f
-               fi
-               sed -e '/start\-sanitize\-sh3e/,/end\-sanitize\-sh3e/d' -e '/ xl /d' < $f > new
-               if [ -n "${safe}" ] ; then
-                       mv $f .Recover
-               fi
-               mv new $f
-       done
-fi
-
 
 # End of file.