mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
depot_autopilot: disable unsupported tests on riscv
This commit is contained in:
@@ -771,10 +771,12 @@ if {[have_spec riscv]} {
|
||||
set skip_test(gcov) true
|
||||
set skip_test(test-libc_connect_lxip) true
|
||||
set skip_test(test-libc_connect_vfs_server_lxip) true
|
||||
set skip_test(test-rm_fault_no_nox) true
|
||||
set skip_test(test-spark) true
|
||||
set skip_test(test-spark_exception) true
|
||||
set skip_test(test-spark_secondary_stack) true
|
||||
set skip_test(test-tcp_bulk_lxip) true
|
||||
set skip_test(test-trace_logger) true
|
||||
set skip_test(test-xml_generator) true
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user