Handle Ctrl+C in the build script

rust-lang · Dec 11, 2016 · b7cd840 · b7cd840
1 parent e0158e0
commit b7cd840
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()