diff --git a/sel4test-hw/build.py b/sel4test-hw/build.py index 9e1a60eb..270e3da2 100644 --- a/sel4test-hw/build.py +++ b/sel4test-hw/build.py @@ -123,7 +123,8 @@ def run_for_plat(plat: Platform) -> List[dict]: if plat.arch == 'riscv': return [ {"platform": plat.name, "march": plat.march, "compiler": "gcc"}, - {"platform": plat.name, "march": plat.march, "compiler": "clang"}, + # temporarily remove riscv/clang until clang-12 works: + # {"platform": plat.name, "march": plat.march, "compiler": "clang"}, ] # separate runs for each compiler + mode on x86, because we have more machines available