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)
This means that hitting ^C now stops the testsuite from running,
rather than just killing the current test.

testsuite/driver/testlib.py

index b57a080..0c8e1f3 100644 (file)
@@ -887,6 +887,8 @@ def do_test(name, way, func, args):
                         t.expected_failures[name] = [way]
         else:
             framework_fail(name, way, 'bad result ' + passFail)
+    except KeyboardInterrupt:
+        raise
     except:
         framework_fail(name, way, 'do_test exception')
         traceback.print_exc()