[MLton-commit] r7178

[Matthew Fluet]

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;