Changeset 27 for trunk/config.w32

Timestamp:

05/26/2006 02:30:20 AM (3 years ago)

Author:

moo

Message:

rename coverage -> coverager

Files:

• trunk/config.w32 (modified) (2 diffs)

trunk/config.w32

@@ -17 +17 @@
     // {{{ add sources on enabled
     ARG_ENABLE("xcache-optimizer",    "(N/A)", "no");
-    ARG_ENABLE("xcache-coverage",     "Enable code coverage dumper, NOT for production server", "no");
+    ARG_ENABLE("xcache-coverager",    "Enable code coverage dumper, NOT for production server", "no");
     ARG_ENABLE("xcache-assembler",    "(N/A)", "no");
     ARG_ENABLE("xcache-disassembler", "Enable opcode to php variable dumper, NOT for production server", "no");
@@ -25 +25 @@
     var XCACHE_MODULES = "cacher";
     var options = ["optimizer",
-                   "coverage",
+                   "coverager",
                    "assembler", "disassembler",
                    "encoder", "decoder"];