xbt_die("No pthread in SG when compiled against the ucontext (xbt_os_cond_init)");
}
void xbt_os_cond_wait(xbt_os_cond_t cond, xbt_os_mutex_t mutex){
xbt_die("No pthread in SG when compiled against the ucontext (xbt_os_cond_init)");
}
void xbt_os_cond_wait(xbt_os_cond_t cond, xbt_os_mutex_t mutex){