diff --git a/nuttx-configs/px4flow-v2/nsh/defconfig b/nuttx-configs/px4flow-v2/nsh/defconfig index 640374633e..cdb39c7192 100644 --- a/nuttx-configs/px4flow-v2/nsh/defconfig +++ b/nuttx-configs/px4flow-v2/nsh/defconfig @@ -580,7 +580,7 @@ CONFIG_SCHED_WAITPID=y # # Pthread Options # -# CONFIG_MUTEX_TYPES is not set +# CONFIG_PTHREAD_MUTEX_TYPES is not set CONFIG_NPTHREAD_KEYS=0 #