diff options
| -rw-r--r-- | ld/.Sanitize | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/ld/.Sanitize b/ld/.Sanitize index 157fc95..8e99cee 100644 --- a/ld/.Sanitize +++ b/ld/.Sanitize @@ -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 |