diff options
Diffstat (limited to 'pthread_support.c')
-rw-r--r-- | pthread_support.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pthread_support.c b/pthread_support.c index dbdf50b7..0689be45 100644 --- a/pthread_support.c +++ b/pthread_support.c @@ -1987,7 +1987,9 @@ static pthread_cond_t builder_cv = PTHREAD_COND_INITIALIZER; GC_INNER void GC_acquire_mark_lock(void) { - GC_ASSERT(GC_mark_lock_holder != NUMERIC_THREAD_ID(pthread_self())); +# ifdef NUMERIC_THREAD_ID_UNIQUE + GC_ASSERT(GC_mark_lock_holder != NUMERIC_THREAD_ID(pthread_self())); +# endif GC_generic_lock(&mark_mutex); SET_MARK_LOCK_HOLDER; } |