platforms/nuttx: cmake debug pass GDB path and set RTOS plugin file extension

This commit is contained in:
Daniel Agar
2023-01-30 10:58:24 -05:00
parent a4aa76f0ac
commit 2be701f902
2 changed files with 4 additions and 1 deletions

View File

@@ -470,7 +470,7 @@ if(NOT NUTTX_DIR MATCHES "external")
)
# JLINK_RTOS_PATH used by launch.json.in
set(JLINK_RTOS_PATH ${NUTTX_DIR}/tools/jlink-nuttx)
set(JLINK_RTOS_PATH ${NUTTX_DIR}/tools/jlink-nuttx.so)
else()
set(JLINK_RTOS_PATH "")
endif()