X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e7def5a590eef8c9e9bc434260954c81c7661be0..9509e207c1b25e1e20bbb25bfdfc43f69c647ad4:/src/xbt/xbt_os_synchro.cpp?ds=sidebyside

diff --git a/src/xbt/xbt_os_synchro.cpp b/src/xbt/xbt_os_synchro.cpp
index b78dfdd2ac..4e38f7ed23 100644
--- a/src/xbt/xbt_os_synchro.cpp
+++ b/src/xbt/xbt_os_synchro.cpp
@@ -66,14 +66,12 @@ int xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double delay)
 
 void xbt_cond_signal(xbt_cond_t cond)
 {
-  // FIXME: this should use s4u
-  simgrid::simix::kernelImmediate([cond]() { cond->signal(); });
+  cond->cond_.notify_one();
 }
 
 void xbt_cond_broadcast(xbt_cond_t cond)
 {
-  // FIXME: this should use s4u
-  simgrid::simix::kernelImmediate([cond]() { cond->broadcast(); });
+  cond->cond_.notify_all();
 }
 
 void xbt_cond_destroy(xbt_cond_t cond)