Do not request status if not requested by caller.

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

diff --git a/src/xbt/xbt_rl_time.c b/src/xbt/xbt_rl_time.c
index bd035b1..7d6618e 100644 (file)
--- a/src/xbt/xbt_rl_time.c
+++ b/src/xbt/xbt_rl_time.c
@@ -25,3 +25,8 @@ void xbt_sleep(double sec)
 {
   xbt_os_sleep(sec);
 }
+
+/* This horribly badly placed. I just need to get that symbol with that value into libgras so that the mallocators are happy.
+ * EPR will save us all. One day.
+ */
+int _surf_do_model_check = 0;