aboutsummaryrefslogtreecommitdiff
path: root/ld/.Sanitize
diff options
context:
space:
mode:
authorIan Lance Taylor <ian@airs.com>1996-08-26 17:34:46 +0000
committerIan Lance Taylor <ian@airs.com>1996-08-26 17:34:46 +0000
commit2175d72592637dc57447be1c57754934672f80e2 (patch)
tree094ab1564bb0a25b2320016e057e9f0b214a5ee5 /ld/.Sanitize
parent4c6856fac4a517ad7445e473865f79037cc1808e (diff)
downloadgdb-2175d72592637dc57447be1c57754934672f80e2.zip
gdb-2175d72592637dc57447be1c57754934672f80e2.tar.gz
gdb-2175d72592637dc57447be1c57754934672f80e2.tar.bz2
remove extra incorrect check for sanitization
Diffstat (limited to 'ld/.Sanitize')
-rw-r--r--ld/.Sanitize6
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