the xbt_os_time() function is now exported in the windows dll (for the same reason...

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

diff --git a/src/include/xbt/xbt_portability.h b/src/include/xbt/xbt_portability.h
index 8393364..533bbf6 100644 (file)
--- a/src/include/xbt/xbt_portability.h
+++ b/src/include/xbt/xbt_portability.h
@@ -17,7 +17,7 @@
   * gives  the  number  of  seconds since the Epoch (00:00:00 UTC, January 1, 1970).
   * Most users should use gras_os_time and should not use this function unless 
     they really know what they are doing. */
-double xbt_os_time(void);
+XBT_PUBLIC(double) xbt_os_time(void);
 
 typedef struct s_xbt_os_timer *xbt_os_timer_t;
 xbt_os_timer_t xbt_os_timer_new(void);