oops

diff --git a/src/xbt/xbt_os_time.c b/src/xbt/xbt_os_time.c
index 967ad5b..d07e6ac 100644 (file)
--- a/src/xbt/xbt_os_time.c
+++ b/src/xbt/xbt_os_time.c
@@ -110,7 +110,7 @@ void xbt_os_sleep(double sec)
  * @brief This section describes many macros/functions that can serve as  an OS abstraction.
  */
 struct s_xbt_os_timer {
  * @brief This section describes many macros/functions that can serve as  an OS abstraction.
  */
 struct s_xbt_os_timer {

-#if HAVE_POSIX_GETTIME
+#if HAVE_POSIX_GETTIME && defined (_POSIX_THREAD_CPUTIME)

   struct timespec start;
   struct timespec stop;
   struct timespec elapse;
   struct timespec start;
   struct timespec stop;
   struct timespec elapse;