replace kernel_autoconf with sel4_autoconf

since the mainline kernel's kernel_autoconf doesn't include seL4/gen_config.h but sel4_autoconf does
seL4 · Jul 18, 2019 · 2add6b7 · 2add6b7
1 parent ce8ad99
commit 2add6b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libsel4tutorials/CMakeLists.txt b/libsel4tutorials/CMakeLists.txt
@@ -16,7 +16,7 @@ add_library(sel4tutorials STATIC EXCLUDE_FROM_ALL src/constructors.c src/alloc.c
 
 target_link_libraries(
     sel4tutorials
-    kernel_autoconf
+    sel4_autoconf
     sel4runtime
     muslc
     sel4