From cc1c683c83296d164aef6fa419ec3763f218e423 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <degomme@idpann.imag.fr>
Date: Tue, 24 Sep 2013 17:18:59 +0200
Subject: [PATCH] windows doesn't provide/need this call

---
 src/xbt/xbt_main.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c
index b11a855161..e60540b08c 100644
--- a/src/xbt/xbt_main.c
+++ b/src/xbt/xbt_main.c
@@ -91,7 +91,9 @@ static void xbt_preinit(void) {
   xbt_dict_preinit();
    
   srand(seed);
+#ifndef _WIN32
   srand48(seed);
+#endif
 
   atexit(xbt_postexit);
 }
-- 
2.20.1