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') |