sel4bench: remove quartz64 build from sel4bench

This is temporary until seL4/sel4bench#32 is fixed. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Dec 13, 2022 · 91e1bd1 · 91e1bd1
1 parent d75d8ba
commit 91e1bd1
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/sel4bench/build.py b/sel4bench/build.py
@@ -102,6 +102,10 @@ def build_filter(build: Build) -> bool:
     if plat.no_hw_build:
         return False
 
+    # temporarily remove QUARTZ64 until build failure is resolved
+    if build.platform.name == 'QUARTZ64':
+        return False
+
     # sel4bench not yet set up for MCS+SMP
     if build.is_mcs() and build.is_smp():
         return False