diff --git a/repos/os/run/test.run b/repos/os/run/test.run index f1a307772..d99d320ee 100644 --- a/repos/os/run/test.run +++ b/repos/os/run/test.run @@ -320,7 +320,7 @@ proc query_failure_timeout { } { return 0 } -set failure_timeout [query_failure_timeout] +set failure_timeout [expr [query_failure_timeout] + 10] ##