diff options
Diffstat (limited to 'win32')
| -rw-r--r-- | win32/configure.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/win32/configure.js b/win32/configure.js index 526d09af..51ed0025 100644 --- a/win32/configure.js +++ b/win32/configure.js @@ -313,6 +313,8 @@ for (i = 0; (i < WScript.Arguments.length) && (error == 0); i++) { if (opt.length > 0) { if (opt == "xslt_debug") withXsltDebug = strToBool(arg.substring(opt.length + 1, arg.length)); + else if (opt == "trio") + withTrio = strToBool(arg.substring(opt.length + 1, arg.length)); else if (opt == "mem_debug") withMemDebug = strToBool(arg.substring(opt.length + 1, arg.length)); else if (opt == "debugger") |