Make do_test catch and re-raise KeyboardInterrupt
authorIan Lynagh <ian@well-typed.com>
Fri, 25 Jan 2013 01:39:18 +0000 (01:39 +0000)
committerIan Lynagh <ian@well-typed.com>
Fri, 25 Jan 2013 01:39:18 +0000 (01:39 +0000)
commitcffb97685de502d91852435edc9c66da12ff5c52
tree46c0a6ea0b7b4857022411d0b9b32d01e3f5062e
parent4a33b6e89e6e8c89cb0b0ed70685ad7b67240744
Make do_test catch and re-raise KeyboardInterrupt

This means that hitting ^C now stops the testsuite from running,
rather than just killing the current test.
testsuite/driver/testlib.py