cmake: fix style

Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h · Nov 10, 2024 · 88d7dbf · 88d7dbf
1 parent 65825d4
commit 88d7dbf
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/libsel4/CMakeLists.txt b/libsel4/CMakeLists.txt
@@ -55,8 +55,8 @@ add_config_library(sel4 "${configure_string}")
 generate_autoconf(sel4_autoconf "kernel;sel4")
 
 gen_invocation_header(
-    OUTPUT include/sel4/invocation.h
-    XML include/interfaces/object-api.xml
+    OUTPUT "include/sel4/invocation.h"
+    XML "include/interfaces/object-api.xml"
     LIBSEL4
 )