From d4c026d4d8615d1120fd882caf6c975827575013 Mon Sep 17 00:00:00 2001
From: simbit18 <101105604+simbit18@users.noreply.github.com>
Date: Mon, 30 Sep 2024 15:38:33 +0200
Subject: [PATCH] Update menuconfig.cmake

---
 cmake/menuconfig.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cmake/menuconfig.cmake b/cmake/menuconfig.cmake
index 6cf54284418c4..e7f5edc12795f 100644
--- a/cmake/menuconfig.cmake
+++ b/cmake/menuconfig.cmake
@@ -95,7 +95,7 @@ add_custom_target(
   COMMAND ${CMAKE_COMMAND} -E copy ${NUTTX_DEFCONFIG}
           ${CMAKE_BINARY_DIR}/.config
   COMMAND ${CMAKE_COMMAND} -E env ${CMAKE_BINARY_DIR}/.config olddefconfig
-  COMMAND ${CMAKE_COMMAND} -E env ${KCONFIG_ENV} savedefconfig --out
+  COMMAND ${CMAKE_COMMAND} -P env ${KCONFIG_ENV} savedefconfig --out
           ${CMAKE_BINARY_DIR}/defconfig
   COMMAND ${CMAKE_COMMAND} -E copy_if_different ${CMAKE_BINARY_DIR}/defconfig
           ${NUTTX_DEFCONFIG}