From: Augustin Degomme <degomme@idpann.imag.fr>
Date: Fri, 29 Mar 2013 09:21:17 +0000 (+0100)
Subject: freebsd compatibility
X-Git-Tag: v3_9_90~412^2~71
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/b21a62867de57cfba078fc522031c5da7d727f59

freebsd compatibility
---

diff --git a/src/xbt/xbt_os_time.c b/src/xbt/xbt_os_time.c
index 0f17fcc9a6..9788f9f343 100644
--- a/src/xbt/xbt_os_time.c
+++ b/src/xbt/xbt_os_time.c
@@ -17,6 +17,11 @@
 #include <windows.h>
 #endif
 
+//Freebsd doesn't provide this clock_gettime flag yet, because it was added too recently (after 1993)
+#ifdef __FreeBSD__
+#define CLOCK_PROCESS_CPUTTIME_ID CLOCK_PROF
+#endif
+
 double xbt_os_time(void)
 {
 #ifdef HAVE_GETTIMEOFDAY