diff options
Diffstat (limited to 'gas/config')
| -rw-r--r-- | gas/config/.Sanitize | 6 |
1 files changed, 6 insertions, 0 deletions
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. |