-void xbt_os_mutex_destroy(xbt_os_mutex_t mutex){
- xbt_backtrace_display_current();
- xbt_die("No pthread in SG when compiled against the ucontext (xbt_os_mutex_destroy)");
+void xbt_os_mutex_release(xbt_os_mutex_t mutex)
+{
+ /*
+ xbt_backtrace_display_current();
+ xbt_die
+ ("No pthread in SG when compiled against the ucontext (xbt_os_mutex_release)");
+ */
+}
+
+void xbt_os_mutex_destroy(xbt_os_mutex_t mutex)
+{
+ /*
+ xbt_backtrace_display_current();
+ xbt_die
+ ("No pthread in SG when compiled against the ucontext (xbt_os_mutex_destroy)");
+ */