core: Use 0.25% safety region.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 2 Apr 2017 10:58:18 +0000 (12:58 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sun, 2 Apr 2017 10:58:18 +0000 (12:58 +0200)
commitf79adb637f11447b485ba28b7c63f262fb201324
tree99b2f5034af95fafd32debf8b8946d4bc269dae5
parentf9aedd1466d59bb4dc4608295e2e08e06178a034
core: Use 0.25% safety region.

* gc.c (gc_up_arena): Up GC_SAFETY too.
* scripts/repl.mes: Remove MES_ARENA override.
gc.c
mes.c
scripts/repl.mes