rand_r() function is not implemented on Windows

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@5310 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/surf/random_mgr.c b/src/surf/random_mgr.c
index 44f8534..2a28e07 100644 (file)
--- a/src/surf/random_mgr.c
+++ b/src/surf/random_mgr.c
@@ -8,6 +8,13 @@ static double drand48(void)
    THROW_UNIMPLEMENTED;
    return -1;
 }
+
+static double rand_r(unsigned int* seed)
+{
+       THROW_UNIMPLEMENTED;
+   return -1;
+}
+
 #endif
 
 static double custom_random(Generator generator, long int *seed){