Punt gc_space_needed when SMPing. The local heap is empty after GC.
authorMatt Birkholz <puck@birchwood-abbey.net>
Sat, 25 Jul 2015 21:46:13 +0000 (14:46 -0700)
committerMatt Birkholz <puck@birchwood-abbey.net>
Thu, 26 Nov 2015 08:09:45 +0000 (01:09 -0700)
commit72055968f0e7cce548422f83acc940e7ab4c7d8d
tree7055ebbd5b6ac4210df7e4b2737a73f2aa22742a
parentb4825877c9de4f3562a8680b44990862b126e0ce
Punt gc_space_needed when SMPing.  The local heap is empty after GC.
src/microcode/extern.h
src/microcode/interp.c
src/microcode/memmag.c
src/microcode/memmag.h
src/microcode/purify.c
src/microcode/storage.c
src/microcode/term.c