changeset 3416:3e55060230c4

Do not fail on sys.exit (0).
author Jan Nieuwenhuizen <janneke@gnu.org>
date Thu, 03 May 2007 20:31:36 +0200
parents 5e353821567e
children 850d819ce5dc
files bin/gub
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/bin/gub	Thu May 03 20:31:17 2007 +0200
+++ b/bin/gub	Thu May 03 20:31:36 2007 +0200
@@ -404,6 +404,8 @@
         settings.os_interface.info ('build log written to: ' +
                                     settings.os_interface.log_file_name
                                     + '\n')
+    except SystemExit, e:
+        sys.exit (e.value)
     except BaseException, e:
         if settings.options.verbose < settings.os_interface.level['output']:
             print >>sys.stderr,\