ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-05-03 17:23:05 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

nic_router_dhcp_*: raise timeouts

Browse Source 
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
This commit is contained in:
Martin Stein 2022-07-26 11:38:46 +02:00 committed by Christian Helmuth
parent 89f9e7a3ee
commit 3868df9f8b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -72,7 +72,7 @@ append config {
</config> </config>
</inline> </inline>
<sleep milliseconds="2000"/> <sleep milliseconds="4000"/>
<inline> <inline>
<config> <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