Allow custom TRACE_ENTRIES value

* mark.c [TRACE_BUF] (TRACE_ENTRIES): Do not define if already defined.

diff --git a/mark.c b/mark.c
index a7b5d9b7752ef58a7b1970bffab71e0b9f5165b2..f606c27a784fd25a20e688a19d7235f031cbfd49 100644 (file)
--- a/mark.c
+++ b/mark.c
@@ -1458,9 +1458,11 @@ GC_API struct GC_ms_entry * GC_CALL GC_mark_and_push(void *obj,
 }
 # undef source
 
-# ifdef TRACE_BUF
+#ifdef TRACE_BUF
 
-# define TRACE_ENTRIES 1000
+# ifndef TRACE_ENTRIES
+#   define TRACE_ENTRIES 1000
+# endif
 
 struct trace_entry {
     char * kind;
@@ -1512,7 +1514,7 @@ GC_API void GC_CALL GC_print_trace(word gc_no)
     UNLOCK();
 }
 
-# endif /* TRACE_BUF */
+#endif /* TRACE_BUF */
 
 /*
  * A version of GC_push_all that treats all interior pointers as valid