remove extra incorrect check for sanitization

This commit is contained in:
Ian Lance Taylor 1996-08-26 17:34:46 +00:00
parent 4c6856fac4
commit 2175d72592
1 changed files with 0 additions and 6 deletions

View File

@ -145,12 +145,6 @@ else
done done
fi fi
for i in * ; do
if test ! -d $i && (grep sanitize $i > /dev/null) ; then
echo '***' Some mentions of Sanitize are still left in $i! 1>&2
fi
done
v850_files="ChangeLog configure.tgt Makefile.in" v850_files="ChangeLog configure.tgt Makefile.in"
if ( echo $* | grep keep\-v850 > /dev/null ) ; then if ( echo $* | grep keep\-v850 > /dev/null ) ; then