about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--src/thread/pthread_barrier_destroy.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/thread/pthread_barrier_destroy.c b/src/thread/pthread_barrier_destroy.c
index f82664d5..3ebc2b39 100644
--- a/src/thread/pthread_barrier_destroy.c
+++ b/src/thread/pthread_barrier_destroy.c
@@ -5,6 +5,8 @@ void __vm_lock(int), __vm_unlock(void);
 int pthread_barrier_destroy(pthread_barrier_t *b)
 {
 	if (b->_b_limit < 0) {
+		int seq = b->_b_seq;
+		if (seq & 1) __wait(&b->_b_seq, 0, seq, 0);
 		__vm_lock(-1);
 		__vm_unlock();
 	}