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

run/nic_router_uplinks: do not run on muen 

On muen, we don't have configured access to wifi so far. Thus, the wifi
driver doesn't come up and we should skip tests using this driver for
the platform.

Fix #3384
This commit is contained in:
Martin Stein 2019-05-27 11:24:23 +02:00 committed by Christian Helmuth
parent 27e9d1fcf0
commit ca95621db5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/dde_linux/run/nic_router_uplinks.run
View File

@ -1,4 +1,4 @@
if {[expr ![have_spec nova] && ![have_spec sel4] && ![have_spec hw] && ![have_spec foc] || ![have_spec x86] || [have_include power_on/qemu] ]} {
if {[expr ![have_spec nova] && ![have_spec sel4] && ![have_spec hw] && ![have_spec foc] || ![have_spec x86] || [have_include power_on/qemu] || [have_spec muen]]} {
puts "\n Run script is not supported on this platform. \n"; exit 0 }
proc wifi_ssid {} {