tests/run-tests.py
changeset 19301 f2dd00f1f6fb
parent 19300 d7d40600a248
child 19302 a1b8b1b9e2e2
--- a/tests/run-tests.py	Wed Jun 05 22:05:02 2013 +0200
+++ b/tests/run-tests.py	Wed Jun 05 22:05:29 2013 +0200
@@ -965,7 +965,11 @@
     try:
         ret, out = runner(testpath, testtmp, options, replacements, env)
     except KeyboardInterrupt:
-        log('INTERRUPTED:', test)
+        msg = ''
+        if options.time:
+            endtime = time.time()
+            msg = '(after %d seconds)' % (endtime - starttime)
+        log('INTERRUPTED:', test, msg)
         raise
     if options.time:
         endtime = time.time()