| Index: native_client_sdk/src/build_tools/buildbot_run.py
|
| diff --git a/native_client_sdk/src/build_tools/buildbot_run.py b/native_client_sdk/src/build_tools/buildbot_run.py
|
| index cf53bc1b31d3995b40f593363e0cf220ba7d2630..f5e4ba585dcf659a4db25364e505addc8b14770f 100755
|
| --- a/native_client_sdk/src/build_tools/buildbot_run.py
|
| +++ b/native_client_sdk/src/build_tools/buildbot_run.py
|
| @@ -48,4 +48,7 @@ def main(args):
|
|
|
|
|
| if __name__ == '__main__':
|
| - sys.exit(main(sys.argv[1:]))
|
| + try:
|
| + sys.exit(main(sys.argv[1:]))
|
| + except KeyboardInterrupt:
|
| + buildbot_common.ErrorExit('buildbot_run: interrupted')
|
|
|