diff -r ee72fccc5267 -r 0e8a58946c48 src/CLIParser.h --- a/src/CLIParser.h Wed Nov 25 17:28:17 2020 +0100 +++ b/src/CLIParser.h Sat Nov 28 23:52:01 2020 +0100 @@ -63,6 +63,7 @@ public: static const string_t OPTION_NAMESPACE; + static const string_t OPTION_PARSER_OPTION; static const string_t OPTION_RELATION; static const string_t OPTION_NAME_IS_XPATH; static const string_t OPTION_RECORDS; @@ -82,6 +83,8 @@ if (option == OPTION_NAMESPACE) { c.namespaceMappings.push_back(readNext(arguments, i)); c.namespaceMappings.push_back(readNext(arguments, i)); + } else if (option == OPTION_PARSER_OPTION) { + c.parserOptions.push_back({readNext(arguments, i), readNext(arguments, i)}); } else if (option == OPTION_XINCLUDE) { c.xinclude = parseBoolean(readNext(arguments, i)); } else if (option == OPTION_RELATION) { @@ -131,6 +134,7 @@ }; const string_t CLIParser::OPTION_NAMESPACE = L"--namespace"; +const string_t CLIParser::OPTION_PARSER_OPTION = L"--parser-option"; const string_t CLIParser::OPTION_RELATION = L"--relation"; const string_t CLIParser::OPTION_NAME_IS_XPATH = L"--name-is-xpath"; const string_t CLIParser::OPTION_RECORDS = L"--records";