document double-unlock check and how it relates to the std. (POSIX says in one paragraph that the behaviour is undefined, then in another says that EPERM should be returned

1 files changed, 1 insertions, 0 deletions

diff --git a/lib/libc_r/TEST/test_pthread_mutex.c b/lib/libc_r/TEST/test_pthread_mutex.c
index 1e86fe89368..1e9257b3dd1 100644
--- a/lib/libc_r/TEST/test_pthread_mutex.c
+++ b/lib/libc_r/TEST/test_pthread_mutex.c
@@ -73,6 +73,7 @@ test_debug_double_unlock(mutex)
 	printf("  test_debug_double_unlock()\n");
 	CHECKr(pthread_mutex_lock(mutex));
 	CHECKr(pthread_mutex_unlock(mutex));
+	/* Posix D10 says undefined behaviour? */
 	ASSERTe(pthread_mutex_unlock(mutex), == EPERM);
 }