| Index: native_client_sdk/src/build_tools/test_sdk.py
|
| diff --git a/native_client_sdk/src/build_tools/test_sdk.py b/native_client_sdk/src/build_tools/test_sdk.py
|
| index 34845e71756c759e78ccd4b0484db97983d63e0b..6c065a7e149b967c43c92e9760a04a91abb1488e 100755
|
| --- a/native_client_sdk/src/build_tools/test_sdk.py
|
| +++ b/native_client_sdk/src/build_tools/test_sdk.py
|
| @@ -95,4 +95,7 @@ def main(args):
|
|
|
|
|
| if __name__ == '__main__':
|
| - sys.exit(main(sys.argv))
|
| + try:
|
| + sys.exit(main(sys.argv))
|
| + except KeyboardInterrupt:
|
| + buildbot_common.ErrorExit('test_sdk: interrupted')
|
|
|