X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4725d7a4bc5ac1fdae3e86222cdc23eaaf6fb226..053352ba13737467be4fc66c9a1c92bd84118bee:/src/xbt/xbt_rl_time.c

diff --git a/src/xbt/xbt_rl_time.c b/src/xbt/xbt_rl_time.c
index 1f1f1c4e36..7d6618ee87 100644
--- a/src/xbt/xbt_rl_time.c
+++ b/src/xbt/xbt_rl_time.c
@@ -1,25 +1,32 @@
-/* $Id$ */
-
 /* time - time related syscal wrappers                                      */
 
-/* Copyright (c) 2003, 2004 Martin Quinson. All rights reserved.            */
+/* Copyright (c) 2007, 2008, 2009, 2010. The SimGrid Team.
+ * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#include <math.h> /* floor */
+#include <math.h>               /* floor */
 
 #include "portable.h"
 
 #include "xbt/sysdep.h"
 #include "xbt/log.h"
 #include "gras/virtu.h"
-#include "xbt/xbt_os_time.h" /* private */
+#include "xbt/xbt_os_time.h"    /* private */
 
 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(gras_virtu);
-double xbt_time(void) {
+double xbt_time(void)
+{
   return xbt_os_time();
 }
-void xbt_sleep(double sec) {
+
+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;