From 0996954abb2b7510e413a89cbc96db8026401d74 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Thu, 17 May 2018 21:16:44 +0200 Subject: [PATCH] ping tests: fix for linux and hw + arm Some platforms need more caps in some components and more time to finish the test. Issue #2837 --- repos/os/run/ping.run | 6 +++--- repos/os/run/ping_nic_router.run | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/repos/os/run/ping.run b/repos/os/run/ping.run index 84bd32d1b7..12abc1c111 100644 --- a/repos/os/run/ping.run +++ b/repos/os/run/ping.run @@ -65,7 +65,7 @@ append config { append_platform_drv_config append_if [have_spec gpio] config " - + @@ -77,7 +77,7 @@ append config { - + @@ -87,7 +87,7 @@ append config { - + diff --git a/repos/os/run/ping_nic_router.run b/repos/os/run/ping_nic_router.run index 98be02f248..c7e18d5f69 100644 --- a/repos/os/run/ping_nic_router.run +++ b/repos/os/run/ping_nic_router.run @@ -68,7 +68,7 @@ append config { append_platform_drv_config append_if [have_spec gpio] config " - + @@ -80,7 +80,7 @@ append config { - + @@ -265,4 +265,4 @@ append done_string ".*ping_22\] From 10.0.4.1 icmp_seq=.* Destination Unreachabl append_if $on_hardware done_string ".*ping_23\] From [good_dst_ip] Destination Unreachable.*\n" -run_genode_until $done_string 20 +run_genode_until $done_string 30