-/* Copyright (c) 2008, 2009, 2010. The SimGrid Team.
+/* Copyright (c) 2008-2013. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
{
xbt_ex_t e;
TRY {
- xbt_os_timer_start(parse_time);
+ xbt_os_cputimer_start(parse_time);
SD_create_environment(platformFile);
- xbt_os_timer_stop(parse_time);
+ xbt_os_cputimer_stop(parse_time);
}
CATCH(e) {
xbt_die("Error while loading %s: %s", platformFile, e.msg);
printf("</platform>\n");
}
SD_exit();
+ xbt_os_timer_free(parse_time);
return 0;
}