Additional boot time (10 s) in test.run

2019-06-11 16:38:02 +02:00 · 2019-06-11 16:38:02 +02:00 · de4c31e557
parent 5a59d295a4
commit de4c31e557
1 changed files with 1 additions and 1 deletions
--- 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]


 ##