core: Listen to MES_SAFETY environment variable.
authorJan Nieuwenhuizen <janneke@gnu.org>
Thu, 12 Apr 2018 05:08:09 +0000 (07:08 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Thu, 12 Apr 2018 05:08:09 +0000 (07:08 +0200)
src/mes.c

index 10c95684283ef586770213f593252c15d6deb04e..ef65bea4077d1c5ca4a46071de64fe7a0f3800e0 100644 (file)
--- a/src/mes.c
+++ b/src/mes.c
@@ -1843,6 +1843,8 @@ main (int argc, char *argv[])
   if (p = getenv ("MES_ARENA"))
     ARENA_SIZE = atoi (p);
   GC_SAFETY = ARENA_SIZE / 400;
+  if (p = getenv ("MES_SAFETY"))
+    GC_SAFETY = atoi (p);
   if (argc > 1 && !strcmp (argv[1], "--help"))
     return puts ("Usage: mes [--dump|--load] < FILE\n");
   if (argc > 1 && !strcmp (argv[1], "--version"))