Remove v850e sanitization

[deliverable/binutils-gdb.git] / gas / .Sanitize

diff --git a/gas/.Sanitize b/gas/.Sanitize
index f89b5fa956815b15fb032f79d71af436c284ce8d..9b015cc1f0ca0f8b75dfc78c5f722dca333c1e19 100644 (file)
--- a/gas/.Sanitize
+++ b/gas/.Sanitize
@@ -137,34 +137,6 @@ Things-to-lose:
 
 Do-last:
 
-v850_files="ChangeLog ChangeLog-9697 configure.in configure"
-if ( echo $* | grep keep\-v850e > /dev/null ) ; then
-       for i in $v850_files ; do
-               if test ! -d $i && (grep sanitize-v850e $i > /dev/null) ; then
-                       if [ -n "${verbose}" ] ; then
-                               echo Keeping v850e stuff in $i
-                       fi
-               fi
-       done
-else
-       for i in $v850_files ; do
-               if test ! -d $i && (grep sanitize-v850e $i > /dev/null) ; then
-                       if [ -n "${verbose}" ] ; then
-                               echo Removing traces of \"v850e\" from $i...
-                       fi
-                       cp $i new
-                       sed '/start\-sanitize\-v850e/,/end-\sanitize\-v850e/d' < $i > new
-                       if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
-                               if [ -n "${verbose}" ] ; then
-                                       echo Caching $i in .Recover...
-                               fi
-                               mv $i .Recover
-                       fi
-                       mv new $i
-               fi
-       done
-fi
-
 r5900_files="ChangeLog ChangeLog-9697 configure configure.in"
 if ( echo $* | grep keep\-r5900 > /dev/null ) ; then
        for i in $r5900_files ; do