xbt_cfg_setdefault_string(_surf_cfg_set, "workstation/model",
"ptask_L07");
+
+#ifdef HAVE_TRACING
+ TRACE_start ();
+#endif
}
/**
WARN0("SD_exit() called, but SimDag is not running");
/* we cannot use exceptions here because xbt is not running! */
}
+#ifdef HAVE_TRACING
+ TRACE_end();
+#endif
}
/**