From: Matthew F. <fl...@ml...> - 2009-06-19 06:55:58
|
Change use-mmap from nullary to unary; makes it easier to experiment with different defaults. ---------------------------------------------------------------------- U mlton/trunk/runtime/gc/init.c ---------------------------------------------------------------------- Modified: mlton/trunk/runtime/gc/init.c =================================================================== --- mlton/trunk/runtime/gc/init.c 2009-06-18 23:24:31 UTC (rev 7177) +++ mlton/trunk/runtime/gc/init.c 2009-06-19 13:55:57 UTC (rev 7178) @@ -238,7 +238,9 @@ die ("@MLton stack-shrink-ratio argument must be between 0.0 and 1.0."); } else if (0 == strcmp (arg, "use-mmap")) { i++; - GC_setCygwinUseMmap (TRUE); + if (i == argc) + die ("@MLton use-mmap missing argument."); + GC_setCygwinUseMmap (stringToBool (argv[i++])); } else if (0 == strcmp (arg, "--")) { i++; done = TRUE; |