Index: native_client_sdk/src/build_tools/sdk_tools/sdk_update.py |
diff --git a/native_client_sdk/src/build_tools/sdk_tools/sdk_update.py b/native_client_sdk/src/build_tools/sdk_tools/sdk_update.py |
index e421d5815474aff03f10924fd7185612f11cc15f..4abd47aaa3f3cfb4c01f9491ca0c78156dc9876f 100755 |
--- a/native_client_sdk/src/build_tools/sdk_tools/sdk_update.py |
+++ b/native_client_sdk/src/build_tools/sdk_tools/sdk_update.py |
@@ -112,4 +112,7 @@ def main(): |
if __name__ == '__main__': |
- sys.exit(main()) |
+ try: |
+ sys.exit(main()) |
+ except KeyboardInterrupt: |
+ sys.exit(1) |