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()