- /* activate trace */
- TRACE_desactivate ();
- XBT_DEBUG("Tracing system is shutdown");
- return 0;
-}
-
-void TRACE_activate (void)
-{
- xbt_assert (trace_active==0, "Tracing is already active.");
- trace_active = 1;
- XBT_DEBUG ("Tracing is on");
-}
-
-void TRACE_desactivate (void)
-{