diff -r ae952fb9707f -r f412189fe8f8 tests/run-tests.py
--- a/tests/run-tests.py	Wed Jun 05 22:42:43 2013 +0200
+++ b/tests/run-tests.py	Wed Jun 05 22:05:02 2013 +0200
@@ -962,7 +962,11 @@
 
     if options.time:
         starttime = time.time()
-    ret, out = runner(testpath, testtmp, options, replacements, env)
+    try:
+        ret, out = runner(testpath, testtmp, options, replacements, env)
+    except KeyboardInterrupt:
+        log('INTERRUPTED:', test)
+        raise
     if options.time:
         endtime = time.time()
         times.append((test, endtime - starttime))