diff options
Diffstat (limited to 'gas/.Sanitize')
| -rw-r--r-- | gas/.Sanitize | 15 |
1 files changed, 12 insertions, 3 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. |