From 460be8e161f05ae0e620a9a0a24d13c86c714271 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Mon, 5 Jan 2015 16:14:12 +0100 Subject: [PATCH 1/1] avoid breaking with recent freebsd that implement this flag (as the comment said) This should help other bsds as well --- src/xbt/xbt_os_time.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/xbt/xbt_os_time.c b/src/xbt/xbt_os_time.c index 869a0f50ee..b9912ace94 100644 --- a/src/xbt/xbt_os_time.c +++ b/src/xbt/xbt_os_time.c @@ -18,7 +18,7 @@ #endif //Freebsd doesn't provide this clock_gettime flag yet, because it was added too recently (after 1993) -#ifdef __FreeBSD__ +#if defined (CLOCK_PROF) && ! defined (CLOCK_PROCESS_CPUTIME_ID) #define CLOCK_PROCESS_CPUTIME_ID CLOCK_PROF #endif -- 2.20.1