diff -r f412189fe8f8 -r 663143c0a5e2 tests/run-tests.py --- 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()