Changeset 27 for trunk/config.w32

Timestamp:

2006-05-26T04:30:20+02:00 (7 years ago)

Author:

moo

Message:

rename coverage -> coverager

File:

• 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"];