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