style: fix indention, add trailing linebreak

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jan 29, 2024 · 2c2aaa4 · 2c2aaa4
1 parent 34f83da
commit 2c2aaa4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/apps/Arm/vm_multi/CMakeLists.txt b/apps/Arm/vm_multi/CMakeLists.txt
@@ -13,7 +13,7 @@ find_package(camkes-vm-linux REQUIRED)
 include(${CAMKES_VM_LINUX_HELPERS_PATH})
 
 if("${PLATFORM}" STREQUAL "exynos5422")
-# Create our CPP Flags based on ARM VM config variables
+    # Create our CPP Flags based on ARM VM config variables
     set(cpp_flags "-DKERNELARMPLATFORM_EXYNOS5422")
 elseif("${PLATFORM}" STREQUAL "qemu-arm-virt")
     set(cpp_flags "-DKERNELARMPLATFORM_QEMU-ARM-VIRT")

diff --git a/apps/x86/minimal/CMakeLists.txt b/apps/x86/minimal/CMakeLists.txt
@@ -34,6 +34,6 @@ AddToFileServer("rootfs.cpio" ${rootfs_file})
 DeclareCAmkESVMRootServer(minimal.camkes)
 
 if(SIMULATION)
-	include(simulation)
+    include(simulation)
     GenerateSimulateScript()
-endif()
+endif()