libsel4bench: remove src folder from includes

Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h · Nov 3, 2023 · ea5a4f4 · ea5a4f4
1 parent 87c5a5e
commit ea5a4f4
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)