diff options
Diffstat (limited to 'main.py')
| -rwxr-xr-x | main.py | 4 |
1 files changed, 4 insertions, 0 deletions
| @@ -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) |
