libsel4bench: remove src folder from includes

Signed-off-by: Axel Heider <[email protected]>
axel-h · Nov 20, 2023 · 72b2e04 · 72b2e04
1 parent 535c980
commit 72b2e04
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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)