From a579ac8c68d028ea2ca9c433cfdcdaf76a5859ee Mon Sep 17 00:00:00 2001
From: unknown <pierre@.(none)>
Date: Tue, 10 Jan 2012 18:37:40 +0100
Subject: [PATCH] sleep doesn't exist on windows.

---
 src/xbt/xbt_os_time.c | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/src/xbt/xbt_os_time.c b/src/xbt/xbt_os_time.c
index cd4d42011d..7b54af16e1 100644
--- a/src/xbt/xbt_os_time.c
+++ b/src/xbt/xbt_os_time.c
@@ -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;
 
-- 
2.20.1