diff options
author | Ian Lance Taylor <ian@airs.com> | 1998-08-20 21:16:39 +0000 |
---|---|---|
committer | Ian Lance Taylor <ian@airs.com> | 1998-08-20 21:16:39 +0000 |
commit | af98e836ec8f45921159441336102c21835e3640 (patch) | |
tree | 315c15f6b57c151a4f736611ac254d8c3189689c | |
parent | 53438a7bb0b8725e921e65bf9426511d874e360c (diff) | |
download | gdb-af98e836ec8f45921159441336102c21835e3640.zip gdb-af98e836ec8f45921159441336102c21835e3640.tar.gz gdb-af98e836ec8f45921159441336102c21835e3640.tar.bz2 |
check for mentions of sanitized files
-rw-r--r-- | gas/.Sanitize | 15 | ||||
-rw-r--r-- | gas/config/.Sanitize | 18 |
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 |