1 files changed, 12 insertions, 1 deletions
diff --git a/misc.c b/misc.c
index 1ad1bf9..eb5b5cf 100644
--- a/misc.c
+++ b/misc.c
@@ -7,7 +7,8 @@
 
 #include "pthread.h"
 
-pthread_t pthread_self(void)
+pthread_t
+pthread_self(void)
 {
   /* It looks like a pthread_t needs to be a HANDLE, but Win32 also has
      another way of identifying threads: their thread id.  We hope
@@ -16,3 +17,13 @@ pthread_t pthread_self(void)
 
   return GetCurrentThread();
 }
+
+int
+pthread_equal(pthread_t t1, pthread_t t2)
+{
+  /* For the time being, assume that HANDLEs can be directly compared.
+     If not, then use the appropriate Win32 function for
+     comparison. */
+
+  return (t1 != t2);
+}