Enable GC_MIN_MARKERS to set minimal number of pthread-based markers
authorIvan Maidanski <ivmai@mail.ru>
Tue, 24 Jan 2012 04:16:14 +0000 (08:16 +0400)
committerIvan Maidanski <ivmai@mail.ru>
Tue, 24 Jan 2012 12:31:01 +0000 (16:31 +0400)
commitdaf8b130c8414c0487ff0c1cdc238d8c05032bf0
tree066bb27ee7e451271c283de477d997a433518c3b
parent8ca952c41f705d04d7352f46e7217e932abbfd7b
Enable GC_MIN_MARKERS to set minimal number of pthread-based markers

* pthread_support.c (GC_thr_init): Allow to specify GC_markers
minimum value (by GC_MIN_MARKERS).
pthread_support.c