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