diff options
Diffstat (limited to 'gas/.Sanitize')
-rw-r--r-- | gas/.Sanitize | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gas/.Sanitize b/gas/.Sanitize index c5bae55..ee74754 100644 --- a/gas/.Sanitize +++ b/gas/.Sanitize @@ -124,6 +124,9 @@ else fi mv new $f done + if [ -n "${verbose}" ]; then + echo "" + fi fi sh3e_files="ChangeLog" @@ -145,6 +148,9 @@ else fi mv new $f done + if [ -n "${verbose}" ]; then + echo "" + fi fi rce_files="configure.in as.c configure ChangeLog Makefile.in" |