-/* 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
*/
void SIMIX_create_environment(const char *file)
{
- double start, end;
-
- start = xbt_os_time();
+ double start = 0, end = 0;
+ 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));
}