- xbt_bar_t XBT_barrier_init(unsigned int count)
- int XBT_barrier_wait(xbt_bar_t barrier)
- void XBT_barrier_destroy(xbt_bar_t barrier)
+ * Make the xbt_os_time module public
-- $date Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
src/include/surf/trace_mgr.h
src/include/xbt/win32_ucontext.h
src/include/xbt/wine_dbghelp.h
- src/include/xbt/xbt_os_time.h
src/msg/msg_mailbox.h
src/msg/msg_private.h
src/portable.h
include/xbt/sysdep.h
include/xbt/virtu.h
include/xbt/xbt_os_thread.h
+ include/xbt/xbt_os_time.h
)
set(source_of_generated_headers
include/simgrid_config.h.in
#include <xbt/cunit.h>
#include <xbt/xbt_os_thread.h>
+#include <xbt/xbt_os_time.h>
#endif /* xbt_H */