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