From c5ab72fe3e8845b90aca6e3787ebee4685135a41 Mon Sep 17 00:00:00 2001
From: Ivan Maidanski <ivmai@mail.ru>
Date: Sat, 29 Oct 2016 00:48:53 +0300
Subject: [PATCH] Allow custom TRACE_ENTRIES value

* mark.c [TRACE_BUF] (TRACE_ENTRIES): Do not define if already defined.
---
 mark.c | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/mark.c b/mark.c
index 67481b9..55df531 100644
--- a/mark.c
+++ b/mark.c
@@ -1463,9 +1463,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;
@@ -1517,7 +1519,7 @@ void 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
-- 
2.7.4