Remove SH3e sanitization.

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.