From 21d4b8aba02fbd9ed431cf2c9e5d92bf1e4d9c27 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 13 Jun 2023 14:06:13 +0200
Subject: [PATCH] nic_router_disable_arp.run: raise test timeout

The previous, rather small timeout of 30 seconds caused problems on
x86_64/sel4.

Ref #4923
---
 repos/os/run/nic_router_disable_arp.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 {}