diff options
author | Ian Lance Taylor <ian@airs.com> | 1998-08-20 20:54:08 +0000 |
---|---|---|
committer | Ian Lance Taylor <ian@airs.com> | 1998-08-20 20:54:08 +0000 |
commit | c6167c136c86679b5d533058ddd86126f3815c40 (patch) | |
tree | 832bbc8afc6e06cf90c8026bb4dcbdce8c76ca90 /bfd | |
parent | ae69b4c4678af4aff4ad284405f12c6f883a4019 (diff) | |
download | gdb-c6167c136c86679b5d533058ddd86126f3815c40.zip gdb-c6167c136c86679b5d533058ddd86126f3815c40.tar.gz gdb-c6167c136c86679b5d533058ddd86126f3815c40.tar.bz2 |
Check whether any sanitized files are mentioned elsewhere.
Diffstat (limited to 'bfd')
-rw-r--r-- | bfd/.Sanitize | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/bfd/.Sanitize b/bfd/.Sanitize index 23c3e2c..5eec4a6 100644 --- a/bfd/.Sanitize +++ b/bfd/.Sanitize @@ -638,12 +638,21 @@ 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 bfd/$i! 1>&2 + fi done +for lost in .. $lose_these_too; do + if test $lost != ..; then + for i in Makefile.am Makefile.in config.bfd configure.host configure.in; do + if fgrep $lost $i >/dev/null 2>&1; then + echo '***' File $lost was sanitized out but is still mentioned in bfd/$i 1>&2 + fi + done + fi +done # This must come after all other sanitizations. Re-sanitize the .pot # file. |