remove extra incorrect check for sanitization
authorIan Lance Taylor <ian@airs.com>
Mon, 26 Aug 1996 17:34:46 +0000 (17:34 +0000)
committerIan Lance Taylor <ian@airs.com>
Mon, 26 Aug 1996 17:34:46 +0000 (17:34 +0000)
ld/.Sanitize

index 157fc95fa94fbf62238276db4d0e5ec22e9f1f32..8e99ceef9aee4906e547249d24be9ca831b15106 100644 (file)
@@ -145,12 +145,6 @@ else
        done
 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"
 
 if ( echo $* | grep keep\-v850 > /dev/null ) ; then