changeset 3420:a44b849731a8

Add newline.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Thu, 03 May 2007 23:48:52 +0200
parents 438fbee7968f
children 7b1de66e143e
files bin/gub
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/bin/gub	Thu May 03 20:42:19 2007 +0200
+++ b/bin/gub	Thu May 03 23:48:52 2007 +0200
@@ -400,7 +400,7 @@
 
     try:
         build (settings, files)
-        settings.os_interface.info ('done')
+        settings.os_interface.info ('done\n')
         settings.os_interface.info ('build log written to: ' +
                                     settings.os_interface.log_file_name
                                     + '\n')