tests/run-tests.py
changeset 19304 59d5281b5799
parent 19303 ef29a552d00d
child 19311 ad16e5c7a429
--- a/tests/run-tests.py	Fri Jun 07 15:58:14 2013 -0500
+++ b/tests/run-tests.py	Fri Jun 07 16:04:11 2013 -0500
@@ -961,8 +961,7 @@
         ret, out = runner(testpath, testtmp, options, replacements, env)
     except KeyboardInterrupt:
         endtime = time.time()
-        msg = '(after %d seconds)' % (endtime - starttime)
-        log('INTERRUPTED:', test, msg)
+        log('INTERRUPTED: %s (after %d seconds)' % (test, endtime - starttime))
         raise
     endtime = time.time()
     times.append((test, endtime - starttime))