ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Don't run ping test on unsupported platforms

This commit is contained in:
Christian Helmuth 2018-05-16 17:16:59 +02:00
parent 6be1d377db
commit bba5a61ef9
2 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
repos/os/run/ping.run
View File

@ -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"

6
repos/os/run/ping_nic_router.run
View File

@ -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"