From bba5a61ef9a56e2c61a46bf88fd3912fae797300 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Wed, 16 May 2018 17:16:59 +0200 Subject: [PATCH] Don't run ping test on unsupported platforms --- repos/os/run/ping.run | 6 ++++++ repos/os/run/ping_nic_router.run | 6 ++++++ 2 files changed, 12 insertions(+) diff --git a/repos/os/run/ping.run b/repos/os/run/ping.run index 3b03c799d7..84bd32d1b7 100644 --- a/repos/os/run/ping.run +++ b/repos/os/run/ping.run @@ -20,6 +20,12 @@ 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] || + [expr [have_spec imx53] && [have_spec trustzone]]} { + puts "Run script is not supported on this platform." + exit 0 +} + proc dst_ip { } { if {![have_include power_on/qemu]} { return "10.0.0.2" diff --git a/repos/os/run/ping_nic_router.run b/repos/os/run/ping_nic_router.run index 65db421334..98be02f248 100644 --- a/repos/os/run/ping_nic_router.run +++ b/repos/os/run/ping_nic_router.run @@ -20,6 +20,12 @@ 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] || + [expr [have_spec imx53] && [have_spec trustzone]]} { + puts "Run script is not supported on this platform." + exit 0 +} + proc good_dst_ip { } { if {![have_include power_on/qemu]} { return "10.0.0.2"