From abe80a4bfed8589dd49d9e8a8deb07511a30ccbb Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 4 Dec 2018 11:27:39 +0100
Subject: [PATCH] run/depot_autopilot: raise initial timeout to 40s

At least sel4 on qemu/x86_32 on autopilot needs more time.
---
 repos/gems/run/depot_autopilot.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run
index 4fa0b8d571..7d4de22f63 100644
--- a/repos/gems/run/depot_autopilot.run
+++ b/repos/gems/run/depot_autopilot.run
@@ -572,7 +572,7 @@ proc prepare_to_run_genode { } {
 	set last_test_pkg ""
 	set last_test_timed_out 0
 	set serial_id -1
-	set timeout 20
+	set timeout 40
 
 	append qemu_args "-nographic -serial mon:stdio "
 }