diff --git a/repos/os/run/nic_router_disable_arp.run b/repos/os/run/nic_router_disable_arp.run index 0d1a052ccc..12ecf26fd3 100644 --- a/repos/os/run/nic_router_disable_arp.run +++ b/repos/os/run/nic_router_disable_arp.run @@ -97,7 +97,7 @@ append_qemu_nic_args set done_string ".*child \"ping\" exited with exit value 0.*\n" -run_genode_until $done_string 30 +run_genode_until $done_string 60 grep_output { ARP } compare_output_to {}