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()