Handle Ctrl+C in the build script

2024-07-08 16:27:40 +00:00 · 2016-12-11 15:25:31 +00:00 · 2016-12-11 15:25:31 +00:00 · b7cd840dd7
commit b7cd840dd7
parent e0158e02f9
1 changed files with 4 additions and 1 deletions
--- 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()