Make sure that CONFIG_PTHREAD_MUTEX_ROBUST=y is selected every configuration that enabled pthreads.

This commit is contained in:
Gregory Nutt
2017-03-27 09:21:03 -06:00
parent b07d3fc305
commit c071e2a30c
273 changed files with 273 additions and 0 deletions
+1
View File
@@ -312,6 +312,7 @@ CONFIG_MAX_TASKS=16
# Pthread Options
#
# CONFIG_PTHREAD_MUTEX_TYPES is not set
CONFIG_PTHREAD_MUTEX_ROBUST=y
CONFIG_NPTHREAD_KEYS=4
# CONFIG_PTHREAD_CLEANUP is not set
# CONFIG_CANCELLATION_POINTS is not set
+1
View File
@@ -332,6 +332,7 @@ CONFIG_MAX_TASKS=16
# Pthread Options
#
# CONFIG_PTHREAD_MUTEX_TYPES is not set
CONFIG_PTHREAD_MUTEX_ROBUST=y
CONFIG_NPTHREAD_KEYS=4
# CONFIG_PTHREAD_CLEANUP is not set
# CONFIG_CANCELLATION_POINTS is not set
+1
View File
@@ -321,6 +321,7 @@ CONFIG_MAX_TASKS=16
# Pthread Options
#
# CONFIG_PTHREAD_MUTEX_TYPES is not set
CONFIG_PTHREAD_MUTEX_ROBUST=y
CONFIG_NPTHREAD_KEYS=4
# CONFIG_PTHREAD_CLEANUP is not set
# CONFIG_CANCELLATION_POINTS is not set