trivial: Fix import list in libsel4sync Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
diff --git a/libsel4sync/CMakeLists.txt b/libsel4sync/CMakeLists.txt index 44d3e77..6e1b4ce 100644 --- a/libsel4sync/CMakeLists.txt +++ b/libsel4sync/CMakeLists.txt
@@ -30,8 +30,7 @@ sel4vka platsupport utils - sel4_ - autoconf + sel4_autoconf ) if(KernelDebugBuild)