From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Mon, 6 Aug 2007 11:57:33 +0000 (+0000)
Subject: Fix win build of smpi
X-Git-Tag: v3.3~1379
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/343790d5b27cea6cead9ed4f0ec7e05ea331aa58?ds=sidebyside

Fix win build of smpi


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@3981 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---

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