diff options
Diffstat (limited to 'source-builder/sb/getsources.py')
| -rw-r--r-- | source-builder/sb/getsources.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/source-builder/sb/getsources.py b/source-builder/sb/getsources.py index 0ccf257..d348da4 100644 --- a/source-builder/sb/getsources.py +++ b/source-builder/sb/getsources.py @@ -40,8 +40,7 @@ except KeyboardInterrupt: print('abort: user terminated', file = sys.stderr) sys.exit(1) except: - print('error: unknown application load error', file = sys.stderr) - sys.exit(1) + raise def run(args = sys.argv): ec = 0 |