mirror of
https://github.com/apache/nuttx.git
synced 2026-06-06 00:14:22 +08:00
Rename CONFIG_MUTEX_TYPES to CONFIG_PTHREAD_MUTEX_TYPES
This commit is contained in:
@@ -206,7 +206,7 @@ CONFIG_START_YEAR=2007
|
||||
CONFIG_START_MONTH=2
|
||||
CONFIG_START_DAY=21
|
||||
# CONFIG_DEV_CONSOLE is not set
|
||||
# CONFIG_MUTEX_TYPES is not set
|
||||
# CONFIG_PTHREAD_MUTEX_TYPES is not set
|
||||
# CONFIG_PRIORITY_INHERITANCE is not set
|
||||
# CONFIG_FDCLONE_DISABLE is not set
|
||||
# CONFIG_FDCLONE_STDIO is not set
|
||||
|
||||
Reference in New Issue
Block a user