ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 21:57:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4: disable noux_tool_chain_auto.run

Browse Source 
Currently leaking to many capability selectors, so that the tool chain test
can't succeed.

Issue #2044
This commit is contained in:
Alexander Boettcher 2016-08-05 13:30:07 +02:00 committed by Christian Helmuth
parent 1b895484d9
commit 5aabfa9dd0
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/ports/run/noux_tool_chain_auto.run
View File

@ -8,8 +8,8 @@ if {[have_include "power_on/qemu"]} {
puts "\nAuto test running on Qemu is not recommended.\n"
exit 0
}
if {[have_spec pistachio]} {
puts "Pistachio is unsupported."
if {[have_spec pistachio] || [have_spec sel4]} {
puts "Platform is unsupported."
exit 0
}