From de4c31e557db7f996ab89b1465ddf471cd3f7d32 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 11 Jun 2019 16:38:02 +0200
Subject: [PATCH] Additional boot time (10 s) in test.run

---
 repos/os/run/test.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/run/test.run b/repos/os/run/test.run
index f1a307772b..d99d320ee9 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]
 
 
 ##