diff --git a/vctest/main.cpp b/vctest/main.cpp index e139ff1e..0605f5dd 100644 --- a/vctest/main.cpp +++ b/vctest/main.cpp @@ -44,6 +44,8 @@ static bool perform_keyword( config.workingDir = fs::path(reader.next()); } else if (keyword == "--output-always") { config.outputAlways = true; + } else if (keyword == "--memchecker") { + config.memchecker = fs::path(reader.next()); } else { std::cerr << "unknown argument " << keyword << std::endl; return false;