trivial: Remove sel4benchsupport from sel4bench

libsel4bench doesn't depend on sel4benchsupport.
seL4 · Jul 14, 2020 · 7501c84 · 7501c84
1 parent a46a435
commit 7501c84
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libsel4bench/CMakeLists.txt b/libsel4bench/CMakeLists.txt
@@ -39,4 +39,4 @@ target_include_directories(
 if(KernelArmArmV STREQUAL "armv7ve")
     target_include_directories(sel4bench PUBLIC "arch_include/${KernelArch}/armv/armv7-a")
 endif()
-target_link_libraries(sel4bench muslc sel4 utils sel4benchsupport sel4_autoconf)
+target_link_libraries(sel4bench muslc sel4 utils sel4_autoconf)