diff options
author | Chris Johns <chrisj@rtems.org> | 2013-03-04 18:06:51 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2013-03-04 18:06:51 +1100 |
commit | 5e502a9ab110eeff2a951a8aa2429d7045d9a978 (patch) | |
tree | 3baf1d4f3d514de90569dbcb2f339ef314bfb73f /source-builder/sb/defaults.py | |
parent | More info helpers, allow info to append and fix %{?} expansion. (diff) | |
download | rtems-source-builder-5e502a9ab110eeff2a951a8aa2429d7045d9a978.tar.bz2 |
Update ^C message to the user.
Diffstat (limited to 'source-builder/sb/defaults.py')
-rw-r--r-- | source-builder/sb/defaults.py | 2 |
1 files changed, 1 insertions, 1 deletions
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) |