mirror of
https://github.com/apache/nuttx.git
synced 2026-05-14 11:28:22 +08:00
28167c14a3
follow: https://pubs.opengroup.org/onlinepubs/009695399/functions/pthread_cond_destroy.html Change-Id: If645120cbac72975671768159d03f211c4940cca Signed-off-by: Jiuzhu Dong <dongjiuzhu1@xiaomi.com>