Chromium Code Reviews| 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..34aab916a6d02ea1f94c3d455291d2ba76bc9fa9 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('build_projects: interrupted') |
|
binji
2013/05/24 19:13:04
maybe just use sys.argv[0]?
Sam Clegg
2013/05/24 21:21:44
Done.
|