From 72b2e042613e68ff73addb055ed0a84d84370f21 Mon Sep 17 00:00:00 2001
From: Axel Heider <axelheider@gmx.de>
Date: Fri, 3 Nov 2023 17:51:43 +0100
Subject: [PATCH] libsel4bench: remove src folder from includes

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

diff --git a/libsel4bench/CMakeLists.txt b/libsel4bench/CMakeLists.txt
index 617a5f04..eff5193d 100644
--- a/libsel4bench/CMakeLists.txt
+++ b/libsel4bench/CMakeLists.txt
@@ -58,7 +58,6 @@ endif()
 target_include_directories(
     sel4bench
     PUBLIC "sel4_arch_include/${KernelSel4Arch}" "arch_include/${KernelArch}" "include"
-    PRIVATE "src"
 )
 
 target_link_libraries(sel4bench muslc sel4 utils sel4_autoconf)