diff -r d2e0654803c1 -r ea36eed9683f src/CLIParser.h --- a/src/CLIParser.h Sat Oct 24 00:08:18 2020 +0200 +++ b/src/CLIParser.h Sun Apr 18 10:42:54 2021 +0200 @@ -49,6 +49,7 @@ public: static const relpipe::reader::string_t OPTION_WRITE_HEADER; + static const relpipe::reader::string_t OPTION_WRITE_TYPES; Configuration parse(const std::vector& arguments) { Configuration c; @@ -58,6 +59,8 @@ if (option == OPTION_WRITE_HEADER) { c.writeHeader = parseBoolean(readNext(arguments, i)); + } else if (option == OPTION_WRITE_TYPES) { + c.writeTypes = parseBoolean(readNext(arguments, i)); } else throw relpipe::cli::RelpipeCLIException(L"Unsupported CLI option: " + option, relpipe::cli::CLI::EXIT_CODE_BAD_CLI_ARGUMENTS); } @@ -69,6 +72,7 @@ }; const relpipe::reader::string_t CLIParser::OPTION_WRITE_HEADER = L"--write-header"; +const relpipe::reader::string_t CLIParser::OPTION_WRITE_TYPES = L"--write-types"; } }