summaryrefslogtreecommitdiffstats
path: root/x.py
diff options
context:
space:
mode:
authorAbhishek Chanda <abhishek.becs@gmail.com>2016-12-11 15:25:31 +0000
committerAbhishek Chanda <abhishek.becs@gmail.com>2016-12-11 15:25:31 +0000
commitb7cd840dd7b36df7014abe458a6c799266e5bbe3 (patch)
tree230de10d0fb62006d0fe19a4411e4fb2d8a0e43c /x.py
parentAuto merge of #38249 - arielb1:special-substs, r=nikomatsakis (diff)
downloadgrust-b7cd840dd7b36df7014abe458a6c799266e5bbe3.tar.gz
grust-b7cd840dd7b36df7014abe458a6c799266e5bbe3.tar.bz2
grust-b7cd840dd7b36df7014abe458a6c799266e5bbe3.tar.xz
Handle Ctrl+C in the build script
Diffstat (limited to 'x.py')
-rwxr-xr-xx.py5
1 files changed, 4 insertions, 1 deletions
diff --git a/x.py b/x.py
index 54148b0d2b..d281a6abc9 100755
--- a/x.py
+++ b/x.py
@@ -16,4 +16,7 @@ sys.path.append(os.path.abspath(os.path.join(dir, "src", "bootstrap")))
16 16
17import bootstrap 17import bootstrap
18 18
19bootstrap.main() 19try:
20 bootstrap.main()
21except KeyboardInterrupt:
22 sys.exit()