Don't use xbt_os_time() when not needed

[simgrid.git] / src / simix / smx_environment.c

diff --git a/src/simix/smx_environment.c b/src/simix/smx_environment.c
index 06b29d1..8f8e7d4 100644 (file)
--- a/src/simix/smx_environment.c
+++ b/src/simix/smx_environment.c
@@ -1,4 +1,4 @@
-/* Copyright (c) 2007-2013. The SimGrid Team.
+/* Copyright (c) 2007-2014. The SimGrid Team.
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
@@ -34,11 +34,12 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_environment, simix,
 void SIMIX_create_environment(const char *file)
 {
   double start, end;
-
-  start = xbt_os_time();
+  if(XBT_LOG_ISENABLED(simix_environment, xbt_log_priority_debug))
+    start = xbt_os_time();
   parse_platform_file(file);
-  end = xbt_os_time();
-  XBT_DEBUG("PARSE TIME: %lg", (end - start));
+  if(XBT_LOG_ISENABLED(simix_environment, xbt_log_priority_debug))
+    end = xbt_os_time();
+  XBT_DEBUG("PARSE TIME: %g", (end - start));
 
 }