| Index: native_client_sdk/src/build_tools/build_projects.py
|
| diff --git a/native_client_sdk/src/build_tools/build_projects.py b/native_client_sdk/src/build_tools/build_projects.py
|
| index e84be60cb7a860c2721856d85446c34549e88370..245c40e1bb25de0684bb53547f41bce560b6f3f5 100755
|
| --- a/native_client_sdk/src/build_tools/build_projects.py
|
| +++ b/native_client_sdk/src/build_tools/build_projects.py
|
| @@ -247,4 +247,7 @@ def main(args):
|
|
|
|
|
| if __name__ == '__main__':
|
| - sys.exit(main(sys.argv))
|
| + try:
|
| + sys.exit(main(sys.argv))
|
| + except KeyboardInterrupt:
|
| + buildbot_common.ErrorExit('%s: interrupted' % os.path.basename(sys.argv[0]))
|
|
|