From 343790d5b27cea6cead9ed4f0ec7e05ea331aa58 Mon Sep 17 00:00:00 2001 From: mquinson Date: Mon, 6 Aug 2007 11:57:33 +0000 Subject: [PATCH] Fix win build of smpi git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@3981 48e7efb5-ca39-0410-a469-dd3cf9ba447f --- src/include/xbt/xbt_os_time.h | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/include/xbt/xbt_os_time.h b/src/include/xbt/xbt_os_time.h index 3597ac898e..031bd0eeb9 100644 --- a/src/include/xbt/xbt_os_time.h +++ b/src/include/xbt/xbt_os_time.h @@ -21,10 +21,10 @@ XBT_PUBLIC(double) xbt_os_time(void); XBT_PUBLIC(void) xbt_os_sleep(double sec); typedef struct s_xbt_os_timer *xbt_os_timer_t; -xbt_os_timer_t xbt_os_timer_new(void); -void xbt_os_timer_free(xbt_os_timer_t timer); -void xbt_os_timer_start(xbt_os_timer_t timer); -void xbt_os_timer_stop(xbt_os_timer_t timer); -double xbt_os_timer_elapsed(xbt_os_timer_t timer); +XBT_PUBLIC(xbt_os_timer_t) xbt_os_timer_new(void); +XBT_PUBLIC(void) xbt_os_timer_free(xbt_os_timer_t timer); +XBT_PUBLIC(void) xbt_os_timer_start(xbt_os_timer_t timer); +XBT_PUBLIC(void) xbt_os_timer_stop(xbt_os_timer_t timer); +XBT_PUBLIC(double) xbt_os_timer_elapsed(xbt_os_timer_t timer); #endif -- 2.20.1