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