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

depot_autopilot: skip test-read_only_rom on linux

Browse Source 
Fixes #3414
This commit is contained in:
Christian Helmuth 2024-04-12 16:47:48 +02:00
parent a5dcb8494e
commit c4f75f49e5
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/gems/run/depot_autopilot.run
View File

@ -786,6 +786,7 @@ set skip_test(test-fault_detection) [expr [have_spec pistachio] || [have_spec fi
set skip_test(test-fs_packet) [expr ![interactive] && [have_include "power_on/qemu"]]
set skip_test(test-libc) [expr [have_spec sel4] || [have_board rpi] || [have_board imx53_qsb_tz]]
set skip_test(test-lx_block) [expr ![have_board linux]]
set skip_test(test-read_only_rom) [expr [have_board linux]]
set skip_test(test-rm_fault) [expr [have_board linux] || ![non_executable_supported]]
set skip_test(test-rm_fault_no_nox) [expr [have_board linux] || ![skip_test test-rm_fault]]
set skip_test(test-rm_nested) [expr [have_board linux] || [have_spec pistachio]]