From af98e836ec8f45921159441336102c21835e3640 Mon Sep 17 00:00:00 2001 From: Ian Lance Taylor Date: Thu, 20 Aug 1998 21:16:39 +0000 Subject: [PATCH] check for mentions of sanitized files --- gas/.Sanitize | 15 ++++++++++++--- gas/config/.Sanitize | 18 +++++++++++++++--- 2 files changed, 27 insertions(+), 6 deletions(-) diff --git a/gas/.Sanitize b/gas/.Sanitize index 25cce6b21f6..b3df6317881 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 84e7cce8158..a2fd7a8da9e 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 -- 2.30.2