From b7cd840dd7b36df7014abe458a6c799266e5bbe3 Mon Sep 17 00:00:00 2001
From: Abhishek Chanda <abhishek.becs@gmail.com>
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 54148b0d2b29d..d281a6abc93e3 100755
--- a/x.py
+++ b/x.py
@@ -16,4 +16,7 @@
 
 import bootstrap
 
-bootstrap.main()
+try:
+    bootstrap.main()
+except KeyboardInterrupt:
+    sys.exit()