An unsigned int cannot be negative.

[simgrid.git] / src / xbt / xbt_os_time.c

diff --git a/src/xbt/xbt_os_time.c b/src/xbt/xbt_os_time.c
index f7e90b2..7b54af1 100644 (file)
--- a/src/xbt/xbt_os_time.c
+++ b/src/xbt/xbt_os_time.c
@@ -12,9 +12,9 @@
 #include "portable.h"
 #include <math.h>               /* floor */
 
-
 #ifdef _XBT_WIN32
 #include <sys/timeb.h>
+#include <windows.h>
 #endif
 
 double xbt_os_time(void)
@@ -55,13 +55,14 @@ double xbt_os_time(void)
 
 void xbt_os_sleep(double sec)
 {
-#ifdef HAVE_USLEEP
-  sleep(sec);
-  (void) usleep((sec - floor(sec)) * 1000000);
 
-#elif _XBT_WIN32
+#ifdef _XBT_WIN32
   Sleep((floor(sec) * 1000) + ((sec - floor(sec)) * 1000));
 
+#elif HAVE_USLEEP
+  sleep(sec);
+  (void) usleep((sec - floor(sec)) * 1000000);
+
 #else                           /* don't have usleep. Use select to sleep less than one second */
   struct timeval timeout;