From 099db5443ecbcd3adf8aab7325e5002aff5b5d17 Mon Sep 17 00:00:00 2001
From: Andrew Taylor <andrewt@unsw.edu.au>
Date: Wed, 10 Jul 2019 13:16:24 +1000
Subject: [PATCH] ensure watch_valgrind exits with an interrupt

---
 watch_valgrind.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/watch_valgrind.py b/watch_valgrind.py
index 848c426..545b5e3 100644
--- a/watch_valgrind.py
+++ b/watch_valgrind.py
@@ -55,4 +55,5 @@ def watch_valgrind():
 	sys.exit(0)
 	
 if __name__ == '__main__':
+	signal.signal(signal.SIGINT, lambda signum, frame: sys.exit(1))
 	watch_valgrind()