diff options
author | Ian Lance Taylor <ian@airs.com> | 1996-08-26 17:34:46 +0000 |
---|---|---|
committer | Ian Lance Taylor <ian@airs.com> | 1996-08-26 17:34:46 +0000 |
commit | 2175d72592637dc57447be1c57754934672f80e2 (patch) | |
tree | 094ab1564bb0a25b2320016e057e9f0b214a5ee5 /ld | |
parent | 4c6856fac4a517ad7445e473865f79037cc1808e (diff) | |
download | gdb-2175d72592637dc57447be1c57754934672f80e2.zip gdb-2175d72592637dc57447be1c57754934672f80e2.tar.gz gdb-2175d72592637dc57447be1c57754934672f80e2.tar.bz2 |
remove extra incorrect check for sanitization
Diffstat (limited to 'ld')
-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 |