diff options
author | Ian Lance Taylor <ian@airs.com> | 1998-08-20 20:58:28 +0000 |
---|---|---|
committer | Ian Lance Taylor <ian@airs.com> | 1998-08-20 20:58:28 +0000 |
commit | 53438a7bb0b8725e921e65bf9426511d874e360c (patch) | |
tree | 6beb8807f0e257ae8056defe0a7b0c3252fb348a /opcodes/.Sanitize | |
parent | 54e4cfaf3ac293793a7a25c3d21ad452d2c71dfb (diff) | |
download | gdb-53438a7bb0b8725e921e65bf9426511d874e360c.zip gdb-53438a7bb0b8725e921e65bf9426511d874e360c.tar.gz gdb-53438a7bb0b8725e921e65bf9426511d874e360c.tar.bz2 |
check for mentions of sanitized files
Diffstat (limited to 'opcodes/.Sanitize')
-rw-r--r-- | opcodes/.Sanitize | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/opcodes/.Sanitize b/opcodes/.Sanitize index 96cb344..1505624 100644 --- a/opcodes/.Sanitize +++ b/opcodes/.Sanitize @@ -489,10 +489,20 @@ 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 +for i in *; do + if test ! -d $i && (grep sanitize $i > /dev/null) ; then + echo '***' Some mentions of Sanitize are still left in opcodes/$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 opcodes/$i 1>&2 + fi + done + fi done # This must come after all other sanitizations. Re-sanitize the .pot |