From 38573fdf3e3b6b2bdaf7529555a0c480e79cd1c4 Mon Sep 17 00:00:00 2001 From: Nataliya Korovkina Date: Fri, 11 Feb 2022 14:08:33 -0500 Subject: [PATCH] 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 --- apps/sel4bench/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/apps/sel4bench/CMakeLists.txt b/apps/sel4bench/CMakeLists.txt index 97ef2df9..ae7556c1 100644 --- 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()