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