+ ("No pthread in SG when compiled against the ucontext (xbt_os_thread_exit)");
+}
+
+void xbt_os_thread_detach(xbt_os_thread_t worker)
+{
+ xbt_backtrace_display_current();
+ xbt_die
+ ("No pthread in SG when compiled against the ucontext (xbt_os_thread_exit)");