denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

nic_router_dhcp: raise test timeout

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

Fixes #4923
This commit is contained in:
Martin Stein
2023-06-13 13:55:43 +02:00
committed by Norman Feske
parent 563f55e57b
commit 62db70e2ea
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/run/nic_router_dhcp.inc
View File

@@ -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