Remove sh3e sanitization.
authorJim Wilson <wilson@tuliptree.org>
Tue, 16 Jan 1996 19:59:48 +0000 (19:59 +0000)
committerJim Wilson <wilson@tuliptree.org>
Tue, 16 Jan 1996 19:59:48 +0000 (19:59 +0000)
gas/config/.Sanitize

index 97e39ddc521744c4288b82610cf3530502a8d7db..e8fa684a4473ad07491618752f91cec6aeb10dfb 100644 (file)
@@ -178,28 +178,4 @@ else
        fi
 fi
 
-sh3e_files="tc-sh.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
-       if [ -n "${verbose}" ]; then
-               echo ""
-       fi
-fi
-
 # End of file.