diff options
| author | Abhishek Chanda <abhishek.becs@gmail.com> | 2016-12-11 15:25:31 +0000 |
|---|---|---|
| committer | Abhishek Chanda <abhishek.becs@gmail.com> | 2016-12-11 15:25:31 +0000 |
| commit | b7cd840dd7b36df7014abe458a6c799266e5bbe3 (patch) | |
| tree | 230de10d0fb62006d0fe19a4411e4fb2d8a0e43c /x.py | |
| parent | e0158e02f97957c3d8cbd9c52da5aadaf898d447 (diff) | |
| download | rust-b7cd840dd7b36df7014abe458a6c799266e5bbe3.tar.gz rust-b7cd840dd7b36df7014abe458a6c799266e5bbe3.zip | |
Handle Ctrl+C in the build script
Diffstat (limited to 'x.py')
| -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() |