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