changeset 19300 | d7d40600a248 |
parent 19299 | cdc612db2ffb |
child 19301 | f2dd00f1f6fb |
--- a/tests/run-tests.py Wed Jun 05 22:42:43 2013 +0200 +++ b/tests/run-tests.py Wed Jun 05 22:05:02 2013 +0200 @@ -962,7 +962,11 @@ if options.time: starttime = time.time() - ret, out = runner(testpath, testtmp, options, replacements, env) + try: + ret, out = runner(testpath, testtmp, options, replacements, env) + except KeyboardInterrupt: + log('INTERRUPTED:', test) + raise if options.time: endtime = time.time() times.append((test, endtime - starttime))