- xbt_lib_cursor_t cursor = NULL;
- char *name = NULL;
- void **workstation = NULL;
-
- double start, end;
-
- platform_filename = bprintf("%s",file);
+ double start = 0, end = 0;
+ if(XBT_LOG_ISENABLED(simix_environment, xbt_log_priority_debug))
+ start = xbt_os_time();
+ parse_platform_file(file);
+ if(XBT_LOG_ISENABLED(simix_environment, xbt_log_priority_debug))
+ end = xbt_os_time();
+ XBT_DEBUG("PARSE TIME: %g", (end - start));