diff options
Diffstat (limited to 'ld')
| -rw-r--r-- | ld/.Sanitize | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/ld/.Sanitize b/ld/.Sanitize index 20f7df0..205dfb3 100644 --- a/ld/.Sanitize +++ b/ld/.Sanitize @@ -293,12 +293,6 @@ 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 -done - armelf_files="ChangeLog configure.tgt" if ( echo $* | grep keep\-armelf > /dev/null ) ; then for i in $armelf_files ; do @@ -327,6 +321,12 @@ 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 +done + # This must come after all other sanitizations. Re-sanitize the .pot # file. if [ -n "${verbose}" ]; then |