tests/run-tests.py
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):