From e491e996152f8bae8d0a94a145374e7b57661347 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Mon, 11 Mar 2013 12:42:31 +0100
Subject: Fix libpthread conversion

* pfinet/io-ops.c (io_select_common): Call pthread_mutex_unlock instead of
__mutex_unlock.
---
 pfinet/io-ops.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pfinet/io-ops.c b/pfinet/io-ops.c
index 69bd93c5..96dbec85 100644
--- a/pfinet/io-ops.c
+++ b/pfinet/io-ops.c
@@ -286,7 +286,7 @@ io_select_common (struct sock_user *user,
 						     tsp);
 	  if (timedout)
 	    {
-	      __mutex_unlock (&global_lock);
+	      pthread_mutex_unlock (&global_lock);
 	      *select_type = 0;
 	      return 0;
 	    }
-- 
cgit v1.2.3