diff options
Diffstat (limited to 'nuttx/sched/Makefile')
| -rw-r--r-- | nuttx/sched/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/nuttx/sched/Makefile b/nuttx/sched/Makefile index ad5286f01..461bc56d0 100644 --- a/nuttx/sched/Makefile +++ b/nuttx/sched/Makefile @@ -105,6 +105,9 @@ PTHREAD_SRCS = pthread_attrinit.c pthread_attrdestroy.c \ ifneq ($(CONFIG_DISABLE_SIGNALS),y) PTHREAD_SRCS += pthread_condtimedwait.c pthread_kill.c pthread_sigmask.c endif +ifeq ($(CONFIG_MUTEX_TYPES),y) +PTHREAD_SRCS += pthread_mutexattrsettype.c pthread_mutexattrgettype.c pthread_mutexattrverifytype.c +endif SEM_SRCS = sem_initialize.c sem_init.c sem_destroy.c\ sem_open.c sem_close.c sem_unlink.c \ sem_wait.c sem_trywait.c sem_post.c sem_getvalue.c \ |