From 3868df9f8bc6806bf66c51f9fa1a1c06a804ae82 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 26 Jul 2022 11:38:46 +0200
Subject: [PATCH] nic_router_dhcp_*: raise timeouts

On okl4, pistachio, sel4 the test didn't come up fast enough in order to still
experience the first configuration of NIC router #1. This commit doubles the
lifetime of the first configuration of NIC router #1 to 4 seconds and raises
the overall test timeout accordingly.

Ref #4555
---
 repos/os/run/nic_router_dhcp.inc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/os/run/nic_router_dhcp.inc b/repos/os/run/nic_router_dhcp.inc
index 294aa3cc73..61dcc2b2f0 100644
--- a/repos/os/run/nic_router_dhcp.inc
+++ b/repos/os/run/nic_router_dhcp.inc
@@ -72,7 +72,7 @@ append config {
 					</config>
 
 				</inline>
-				<sleep milliseconds="2000"/>
+				<sleep milliseconds="4000"/>
 				<inline>
 
 					<config>
@@ -364,4 +364,4 @@ append done_string ".*  DNS domain name: genode.org.*\n"
 
 }
 
-run_genode_until $done_string 30
+run_genode_until $done_string 35