core: Listen to MES_SAFETY environment variable.

This commit is contained in:
Jan Nieuwenhuizen 2018-04-12 07:08:09 +02:00
parent 1bc4bc7894
commit a342791f2b
No known key found for this signature in database
GPG key ID: F3C1A0D9C1D65273

View file

@ -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"))