branch | stable |
changeset 1267 | 663143c0a5e2 |
parent 1266 | f412189fe8f8 |
child 1268 | 6133577ca4f6 |
--- 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()