check for mentions of sanitized files

diff --git a/gas/.Sanitize b/gas/.Sanitize
index 25cce6b21f6798f1fde93fda93e49f3871570c7d..b3df6317881aa864facea959d07ab90826c69d6a 100644 (file)
--- a/gas/.Sanitize
+++ b/gas/.Sanitize
@@ -522,11 +522,20 @@ else
 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
+  if test ! -d $i && (grep sanitize $i > /dev/null) ; then
+    echo '***' Some mentions of Sanitize are still left in gas/$i! 1>&2
+  fi
 done
 
+for lost in .. $lose_these_too; do
+  if test $lost != ..; then
+    for i in Makefile.am Makefile.in configure.in configure; do
+      if fgrep $lost $i >/dev/null 2>&1; then
+        echo '***' File $lost was sanitized out but is still mentioned in gas/$i 1>&2
+      fi
+    done
+  fi
+done
 
 # This must come after all other sanitizations.  Re-sanitize the .pot
 # file.

diff --git a/gas/config/.Sanitize b/gas/config/.Sanitize
index 84e7cce8158bba5c2ad061bce0c1786093d256b2..a2fd7a8da9e78bb8bb7872d68786e449b0b2133a 100644 (file)
--- a/gas/config/.Sanitize
+++ b/gas/config/.Sanitize
@@ -517,9 +517,21 @@ else
 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
+  if test ! -d $i && (grep sanitize $i > /dev/null) ; then
+    echo '***' Some mentions of Sanitize are still left in gas/config/$i! 1>&2
+  fi
+done
+
+for lost in .. $lose_these_too; do
+  if test $lost != ..; then
+    for i in Makefile.am Makefile.in configure.in configure; do
+      if test -f ../$i; then
+        if fgrep $lost ../$i >/dev/null 2>&1; then
+          echo '***' File gas/config/$lost was sanitized out but is still mentioned in gas/$i 1>&2
+        fi
+      fi
+    done
+  fi
 done
 
 # eof