- model_init(file);
-
- if (!parsed) {
- start = xbt_os_time();
- parse_platform_file(file);
- if (surf_workstation_model_description[workstation_id].create_ws != NULL)
- surf_workstation_model_description[workstation_id].create_ws();
- end = xbt_os_time();
- DEBUG1("PARSE TIME: %lg", (end-start));
- }
+ model_init(file);
+
+ start = xbt_os_time();
+ parse_platform_file(file);
+
+ if (surf_workstation_model_description[workstation_id].create_ws != NULL)
+ surf_workstation_model_description[workstation_id].create_ws();
+ end = xbt_os_time();
+ DEBUG1("PARSE TIME: %lg", (end-start));