Delete obsolete rce sanitization.

This commit is contained in:
Jim Wilson 1997-03-03 00:55:03 +00:00
parent 22540e2d50
commit a09e649c51
1 changed files with 0 additions and 29 deletions

View File

@ -303,35 +303,6 @@ else
done
fi
rce_files="config.sub"
if ( echo $* | grep keep\-rce > /dev/null ) ; then
for i in $rce_files ; do
if test ! -d $i && (grep sanitize-rce $i > /dev/null) ; then
if [ -n "${verbose}" ] ; then
echo Keeping rce stuff in $i
fi
fi
done
else
for i in $rce_files ; do
if test ! -d $i && (grep sanitize-rce $i > /dev/null) ; then
if [ -n "${verbose}" ] ; then
echo Removing traces of \"rce\" from $i...
fi
cp $i new
sed '/start\-sanitize\-rce/,/end-\sanitize\-rce/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
v850_files="ChangeLog config.sub configure.in"
if ( echo $* | grep keep\-v850 > /dev/null ) ; then