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