changeset 5078 | d27ed83289ee |
parent 4881 | c51c9bc4579d |
child 5081 | ea7b982b6c08 |
--- a/tests/run-tests.py Mon Aug 06 10:08:28 2007 +0200 +++ b/tests/run-tests.py Mon Aug 06 14:45:43 2007 +0200 @@ -227,6 +227,8 @@ ret = proc.wait() if ret == 0: ret = signal.SIGTERM << 8 + output += ("\n### Abort: timeout after %d seconds.\n" + % options.timeout) return ret, splitnewlines(output) def run_one(test):