Rollup merge of #38299 - achanda:ctrl-c, r=brson

Handle Ctrl+C in the build script
rust-lang · Dec 12, 2016 · 1a2e37c · 1a2e37c
2 parents 1702795 + b7cd840
commit 1a2e37c
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/x.py b/x.py
@@ -16,4 +16,7 @@
 
 import bootstrap
 
-bootstrap.main()
+try:
+    bootstrap.main()
+except KeyboardInterrupt:
+    sys.exit()