ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-08 11:55:24 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

depot_autopilot: skip test-libc on rpi and sel4

Browse Source 
Fix #3086
This commit is contained in:
Stefan Kalkowski 2018-12-12 14:20:57 +01:00 committed by Norman Feske
parent ed7dfddc5d
commit c20c643b66
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/gems/run/depot_autopilot.run
View File

@ -660,7 +660,7 @@ set skip_test_pkg(test-lx_block) [expr ![have_spec linux]]
set skip_test_pkg(test-tcp_bulk_lwip) [expr ![have_spec x86]]
set skip_test_pkg(test-tcp_bulk_lxip) [expr ![have_spec x86]]
set skip_test_pkg(test-solo5) [expr ![have_spec x86_64]]
set skip_test_pkg(test-libc) [expr [expr [have_spec pbxa9] && [have_spec foc]] || [expr [have_spec imx53] && [have_spec trustzone]]]
set skip_test_pkg(test-libc) [expr [have_spec sel4] || [have_spec rpi] || [expr [have_spec pbxa9] && [have_spec foc]] || [expr [have_spec imx53] && [have_spec trustzone]]]
#
# FIXME