allow user to change bench options - riscv

DefaultBenchDeps is set to TRUE when benchmark suite is being built for RiscV to enable configure benchmark options. Signed-off-by: Nataliya Korovkina <[email protected]>
seL4 · Feb 11, 2022 · 38573fd · 38573fd
1 parent f6c63c4
commit 38573fd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/apps/sel4bench/CMakeLists.txt b/apps/sel4bench/CMakeLists.txt
@@ -39,6 +39,7 @@ if(
     (KernelArchX86 AND KernelExportPMCUser AND KernelX86DangerousMSR)
     OR (KernelArchARM AND KernelArmExportPMUUser)
     OR (KernelArchArmCortexA8 AND KernelDangerousCodeInjection)
+    OR (KernelArchRiscV)
 )
     set(DefaultBenchDeps TRUE)
 else()