From 422304cbca2c0f0fb5e743707d0a092303b28718 Mon Sep 17 00:00:00 2001
From: vmalaret <malaretv@gmail.com>
Date: Sat, 4 Apr 2015 10:25:54 +0200
Subject: [PATCH] build.py graceful interrupt

---
 build.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/build.py b/build.py
index 7c5828f0cc..70ef50a61d 100755
--- a/build.py
+++ b/build.py
@@ -7,6 +7,7 @@ import json
 import multiprocessing
 import os
 import re
+import signal
 import shutil
 import sys
 
@@ -15,6 +16,9 @@ from pake import ifind, main, output, rule, target, variables, virtual, which
 from Queue import Queue
 from threading import Thread
 
+def sigint_handler(signal, frame):
+    print('Exiting')
+    sys.exit(0)
 
 class ThreadPool:
     """A basic pool of worker threads"""
@@ -814,4 +818,5 @@ and only seldom called targets.
     '''
 
 if __name__ == '__main__':
+    signal.signal(signal.SIGINT, sigint_handler)
     main()