From 1330c27ac674ae53d929956507052eccdfdd1b2c Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Wed, 30 May 2018 10:23:33 +0200 Subject: [PATCH] ping.run: mark as "not supported" on Linux & FOC On Linux, we have a tap device as NIC back end but there is no one to ping to in the subnet of the tap device. On FOC, the tests seem to trigger a bug in the destruction of components with parent.exit(X); . Fixes #2848 --- repos/os/run/ping.run | 2 +- repos/os/run/ping_nic_router.run | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/os/run/ping.run b/repos/os/run/ping.run index 12abc1c111..7371a5e99c 100644 --- a/repos/os/run/ping.run +++ b/repos/os/run/ping.run @@ -20,7 +20,7 @@ proc gpio_drv { } { if {[have_spec rpi] && [have_spec hw]} { return hw_gpio_drv lappend_if [have_spec gpio] build_components drivers/gpio -if {[have_spec odroid_xu] || +if {[have_spec foc] || [have_spec odroid_xu] || [have_spec linux] || [expr [have_spec imx53] && [have_spec trustzone]]} { puts "Run script is not supported on this platform." exit 0 diff --git a/repos/os/run/ping_nic_router.run b/repos/os/run/ping_nic_router.run index bf3442dda2..4476b84af4 100644 --- a/repos/os/run/ping_nic_router.run +++ b/repos/os/run/ping_nic_router.run @@ -21,7 +21,7 @@ proc gpio_drv { } { if {[have_spec rpi] && [have_spec hw]} { return hw_gpio_drv lappend_if [have_spec gpio] build_components drivers/gpio -if {[have_spec odroid_xu] || +if {[have_spec foc] || [have_spec odroid_xu] || [expr [have_spec imx53] && [have_spec trustzone]]} { puts "Run script is not supported on this platform." exit 0