From 2175d72592637dc57447be1c57754934672f80e2 Mon Sep 17 00:00:00 2001
From: Ian Lance Taylor <ian@airs.com>
Date: Mon, 26 Aug 1996 17:34:46 +0000
Subject: [PATCH] remove extra incorrect check for sanitization

---
 ld/.Sanitize | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/ld/.Sanitize b/ld/.Sanitize
index 157fc95fa94..8e99ceef9ae 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
-- 
2.30.2