From b7cd840dd7b36df7014abe458a6c799266e5bbe3 Mon Sep 17 00:00:00 2001 From: Abhishek Chanda Date: Sun, 11 Dec 2016 15:25:31 +0000 Subject: [PATCH] Handle Ctrl+C in the build script --- x.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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()