aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Lance Taylor <ian@airs.com>1998-08-20 21:16:39 +0000
committerIan Lance Taylor <ian@airs.com>1998-08-20 21:16:39 +0000
commitaf98e836ec8f45921159441336102c21835e3640 (patch)
tree315c15f6b57c151a4f736611ac254d8c3189689c
parent53438a7bb0b8725e921e65bf9426511d874e360c (diff)
downloadgdb-af98e836ec8f45921159441336102c21835e3640.zip
gdb-af98e836ec8f45921159441336102c21835e3640.tar.gz
gdb-af98e836ec8f45921159441336102c21835e3640.tar.bz2
check for mentions of sanitized files
-rw-r--r--gas/.Sanitize15
-rw-r--r--gas/config/.Sanitize18
2 files changed, 27 insertions, 6 deletions
diff --git a/gas/.Sanitize b/gas/.Sanitize
index 25cce6b..b3df631 100644
--- 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 84e7cce..a2fd7a8 100644
--- 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