applied patch from Rob Richards to allow disabling modules in win32, fixes
* win32/configure.js: applied patch from Rob Richards to allow
disabling modules in win32, fixes #304071
Daniel
diff --git a/win32/configure.js b/win32/configure.js
index 5837aaf..6c9909b 100644
--- a/win32/configure.js
+++ b/win32/configure.js
@@ -468,6 +468,8 @@
withSchematron = strToBool(arg.substring(opt.length + 1, arg.length));
else if (opt == "regexps")
withRegExps = strToBool(arg.substring(opt.length + 1, arg.length));
+ else if (opt == "modules")
+ withModules = strToBool(arg.substring(opt.length + 1, arg.length));
else if (opt == "tree")
withTree = strToBool(arg.substring(opt.length + 1, arg.length));
else if (opt == "reader")