diff options
| author | Corey Farwell <coreyf@rwell.org> | 2016-12-12 14:10:33 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-12 14:10:33 -0500 |
| commit | cba1304313f3c9b82bfdc4585cf480a4585a91b4 (patch) | |
| tree | da36ee43f41c374fc753b5bb42b5b5400d62d7dd | |
| parent | e3363f277287fac685e52af8f8bdd1fd98c59cac (diff) | |
| parent | b7cd840dd7b36df7014abe458a6c799266e5bbe3 (diff) | |
| download | rust-cba1304313f3c9b82bfdc4585cf480a4585a91b4.tar.gz rust-cba1304313f3c9b82bfdc4585cf480a4585a91b4.zip | |
Rollup merge of #38299 - achanda:ctrl-c, r=brson
Handle Ctrl+C in the build script
| -rwxr-xr-x | x.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/x.py b/x.py index 54148b0d2b2..d281a6abc93 100755 --- a/x.py +++ b/x.py @@ -16,4 +16,7 @@ sys.path.append(os.path.abspath(os.path.join(dir, "src", "bootstrap"))) import bootstrap -bootstrap.main() +try: + bootstrap.main() +except KeyboardInterrupt: + sys.exit() |