summaryrefslogtreecommitdiffstats
path: root/main.py
diff options
context:
space:
mode:
Diffstat (limited to 'main.py')
-rwxr-xr-xmain.py4
1 files changed, 4 insertions, 0 deletions
diff --git a/main.py b/main.py
index c5f1e9c3..f965d7e1 100755
--- a/main.py
+++ b/main.py
@@ -198,6 +198,10 @@ class _Repo(object):
198 else: 198 else:
199 print('error: project group must be enabled for the project in the current directory', file=sys.stderr) 199 print('error: project group must be enabled for the project in the current directory', file=sys.stderr)
200 result = 1 200 result = 1
201 except SystemExit as e:
202 if e.code:
203 result = e.code
204 raise
201 finally: 205 finally:
202 elapsed = time.time() - start 206 elapsed = time.time() - start
203 hours, remainder = divmod(elapsed, 3600) 207 hours, remainder = divmod(elapsed, 3600)