diff options
Diffstat (limited to 'gas')
| -rw-r--r-- | gas/.Sanitize | 6 | ||||
| -rw-r--r-- | gas/config/.Sanitize | 6 |
2 files changed, 12 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" diff --git a/gas/config/.Sanitize b/gas/config/.Sanitize index 588afa3..b65c063 100644 --- a/gas/config/.Sanitize +++ b/gas/config/.Sanitize @@ -171,6 +171,9 @@ else fi mv new $f done + if [ -n "${verbose}" ]; then + echo "" + fi fi sh3e_files="tc-sh.c" @@ -192,6 +195,9 @@ else fi mv new $f done + if [ -n "${verbose}" ]; then + echo "" + fi fi # End of file. |