only call mark once...
authorbdemsky <bdemsky>
Mon, 20 Jun 2011 10:22:44 +0000 (10:22 +0000)
committerbdemsky <bdemsky>
Mon, 20 Jun 2011 10:22:44 +0000 (10:22 +0000)
commit58c92bad230b8c088b6b5b1232b1a99dade810a9
tree90fe05bf8e4cef7afd66aa106a44956c9c8d3bc8
parentb88eb07f47f54f358d291a58ca5cc01df8a1fca9
only call mark once...
Robust/src/Runtime/bamboo/multicoregarbage.c
Robust/src/Runtime/bamboo/multicoregcmark.c
Robust/src/Runtime/bamboo/multicoregcmark.h