Index: native_client_sdk/src/build_tools/build_sdk.py |
diff --git a/native_client_sdk/src/build_tools/build_sdk.py b/native_client_sdk/src/build_tools/build_sdk.py |
index 1db44a0edf30a25aec859e827e0cfdca892b5b05..942fb278b7559a6e8a1f155fdc58bce83a4957b9 100755 |
--- a/native_client_sdk/src/build_tools/build_sdk.py |
+++ b/native_client_sdk/src/build_tools/build_sdk.py |
@@ -950,4 +950,7 @@ def main(args): |
if __name__ == '__main__': |
- sys.exit(main(sys.argv)) |
+ try: |
+ sys.exit(main(sys.argv)) |
+ except KeyboardInterrupt: |
+ buildbot_common.ErrorExit('build_sdk: interrupted') |