From 62db70e2eacc40944609ef3c8de22c41e7113cb1 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 13 Jun 2023 13:55:43 +0200
Subject: [PATCH] nic_router_dhcp: raise test timeout

It seems that the previous rather small timeout of 35 seconds caused problems
with our nightly tests on fiasco/x86_32.

Fixes #4923
---
 repos/os/run/nic_router_dhcp.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/run/nic_router_dhcp.inc b/repos/os/run/nic_router_dhcp.inc
index acb1bca4e6..317ef8112a 100644
--- a/repos/os/run/nic_router_dhcp.inc
+++ b/repos/os/run/nic_router_dhcp.inc
@@ -353,4 +353,4 @@ append done_string ".*  DNS domain name: genode.org.*\n"
 
 }
 
-run_genode_until $done_string 35
+run_genode_until $done_string 60