Add a comment.

diff --git a/lib/glthread/thread.h b/lib/glthread/thread.h
index a04e4a40044fb7559877dc03377320679bda731c..a5f62a1f1af1e9f0d940fe96350d5fbb63247a29 100644 (file)
--- a/lib/glthread/thread.h
+++ b/lib/glthread/thread.h
@@ -137,6 +137,9 @@ extern int glthread_in_use (void);
 
 /* -------------------------- gl_thread_t datatype -------------------------- */
 
+/* This choice of gl_thread_t assumes that
+     pthread_equal (a, b)  is equivalent to  ((a) == (b)).
+   This is the case on all platforms in use in 2008.  */
 typedef pthread_t gl_thread_t;
 # define glthread_create(THREADP, FUNC, ARG) \
     (pthread_in_use () ? pthread_create (THREADP, NULL, FUNC, ARG) : ENOSYS)