update

[l4.git] / l4 / pkg / boehm_gc / contrib / include / private / gc_priv.h

diff --git a/l4/pkg/boehm_gc/contrib/include/private/gc_priv.h b/l4/pkg/boehm_gc/contrib/include/private/gc_priv.h
index a07a4b9166e4af82b52f1f3ee59c520ecc83a7c3..7b895b279f899bd22d9b6ffb8ccdece50aa879b9 100644 (file)
--- a/l4/pkg/boehm_gc/contrib/include/private/gc_priv.h
+++ b/l4/pkg/boehm_gc/contrib/include/private/gc_priv.h
@@ -304,11 +304,13 @@ typedef char * ptr_t;   /* A generic pointer to which we can add        */
 #   define GET_TIME(x) x = GetTickCount()
 #   define MS_TIME_DIFF(a,b) ((long)((a)-(b)))
 # elif defined (__L4)
-#   include <l4/re/env.h>
-#   define CLOCK_TYPE l4_cpu_time_t
-#   define CLOCKS_PER_SEC 1000000
-#   define MS_TIME_DIFF(a,b) ((long)((a)-(b)))
-#   define GET_TIME(x) x = l4re_kip()->clock
+#   ifndef GET_TIME
+#     include <l4/re/env.h>
+#     define CLOCK_TYPE l4_cpu_time_t
+#     define CLOCKS_PER_SEC 1000000
+#     define MS_TIME_DIFF(a,b) ((long)((a)-(b)))
+#     define GET_TIME(x) x = l4re_kip()->clock
+#   endif
 # else /* !MSWIN32, !MSWINCE, !BSD_TIME */
 #   include <time.h>
 #   if !defined(__STDC__) && defined(SPARC) && defined(SUNOS4)