ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-12 05:41:36 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

ping.run: mark as "not supported" on Linux & FOC

Browse Source 
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
This commit is contained in:
Martin Stein 2018-05-30 10:23:33 +02:00 committed by Christian Helmuth
parent ff1d3425b1
commit 1330c27ac6
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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

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

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