diff --git a/source-builder/sb/check.py b/source-builder/sb/check.py index 9ba36b4..60a9e9a 100644 --- a/source-builder/sb/check.py +++ b/source-builder/sb/check.py @@ -153,7 +153,7 @@ def run(): except error.exit, eerr: pass except KeyboardInterrupt: - _notice(opts, 'user terminated') + _notice(opts, 'abort: user terminated') sys.exit(1) sys.exit(0) diff --git a/source-builder/sb/defaults.py b/source-builder/sb/defaults.py index 1497bbd..3eea5bb 100644 --- a/source-builder/sb/defaults.py +++ b/source-builder/sb/defaults.py @@ -601,7 +601,7 @@ def run(args): except error.exit, eerr: pass except KeyboardInterrupt: - _notice(opts, 'user terminated') + _notice(opts, 'abort: user terminated') sys.exit(1) sys.exit(0)