re-enable vdso clock_gettime on arm (32-bit) with workaround

[musl] / src / thread / pthread_cond_destroy.c

diff --git a/src/thread/pthread_cond_destroy.c b/src/thread/pthread_cond_destroy.c
index 1d21a5a..8c55516 100644 (file)
--- a/src/thread/pthread_cond_destroy.c
+++ b/src/thread/pthread_cond_destroy.c
@@ -2,5 +2,13 @@
 
 int pthread_cond_destroy(pthread_cond_t *c)
 {
+       if (c->_c_shared && c->_c_waiters) {
+               int cnt;
+               a_or(&c->_c_waiters, 0x80000000);
+               a_inc(&c->_c_seq);
+               __wake(&c->_c_seq, -1, 0);
+               while ((cnt = c->_c_waiters) & 0x7fffffff)
+                       __wait(&c->_c_waiters, 0, cnt, 0);
+       }
        return 0;
 }