libsel4bench: remove trailing slash

Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h · Nov 3, 2023 · d7e721e · d7e721e
1 parent d62d0a6
commit d7e721e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libsel4bench/CMakeLists.txt b/libsel4bench/CMakeLists.txt
@@ -38,7 +38,7 @@ target_include_directories(
         include
         "arch_include/${KernelArch}/armv/${KernelArmArmV}"
         "arch_include/${KernelArch}/cpu/${KernelArmCPU}"
-        "sel4_arch_include/${KernelSel4Arch}/"
+        "sel4_arch_include/${KernelSel4Arch}"
         "arch_include/${KernelArch}"
         src
 )