CMake: avoid using bash and output redirection

Do no use shell features, just use program features Signed-off-by: Axel Heider <[email protected]>
seL4 · Jun 6, 2023 · 170234d · 170234d
1 parent 7cfa149
commit 170234d
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/apps/Arm/vm_minimal/CMakeLists.txt b/apps/Arm/vm_minimal/CMakeLists.txt
@@ -29,8 +29,7 @@ if("${KernelARMPlatform}" STREQUAL "tk1")
     add_custom_command(
         OUTPUT linux/linux-dtb
         COMMAND
-            bash -c
-            "which dtc && dtc -I dts -O dtb ${CAMKES_ARM_LINUX_DIR}/${device_tree_src} > linux/linux-dtb"
+            dtc -I dts -O dtb -o linux/linux-dtb ${CAMKES_ARM_LINUX_DIR}/${device_tree_src}
         VERBATIM
         DEPENDS ${CAMKES_ARM_LINUX_DIR}/${device_tree_src}
     )