Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Try to be consistent bewteen xbt_os_thread.h and xbt_os_thread.c
[simgrid.git] / src / xbt / xbt_os_thread.c
index 63819fd..2059f2c 100644 (file)
@@ -21,8 +21,9 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_sync_os, xbt,
                                 "Synchronization mechanism (OS-level)");
 
 /* ********************************* PTHREAD IMPLEMENTATION ************************************ */
-#ifdef HAVE_PTHREAD_H
+#ifndef _XBT_WIN32
 
+#include <pthread.h>
 #include <limits.h>
 #include <semaphore.h>