From 5b0c33dc1d8dcc68e21078ae7520fe375040aa3c Mon Sep 17 00:00:00 2001
From: Bruno Haible <bruno@clisp.org>
Date: Mon, 13 Oct 2008 02:32:53 +0200
Subject: [PATCH] Add a comment.

---
 lib/glthread/thread.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/glthread/thread.h b/lib/glthread/thread.h
index a04e4a400..a5f62a1f1 100644
--- 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)
-- 
2.11.0