From: cherierm <cherierm@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Fri, 16 Feb 2007 15:37:52 +0000 (+0000)
Subject: the xbt_os_time() function is now exported in the windows dll (for the same reason... 
X-Git-Tag: v3.3~2200
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9094b2be98efea4502089c96083d1bbd7d497e45?ds=sidebyside

the xbt_os_time() function is now exported in the windows dll (for the same reason of the maxmin API functions)


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 8393364fc3..533bbf65e7 100644
--- 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);