From d7e721ec6eda89e838ab491bd6468e5988995f66 Mon Sep 17 00:00:00 2001
From: Axel Heider <axelheider@gmx.de>
Date: Fri, 3 Nov 2023 17:00:26 +0100
Subject: [PATCH] libsel4bench: remove trailing slash

Signed-off-by: Axel Heider <axelheider@gmx.de>
---
 libsel4bench/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libsel4bench/CMakeLists.txt b/libsel4bench/CMakeLists.txt
index fef8b64f..be118120 100644
--- 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
 )