Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/marian-nmt/marian.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcin Junczys-Dowmunt <marcinjd@microsoft.com>2018-12-06 08:01:39 +0300
committerMarcin Junczys-Dowmunt <marcinjd@microsoft.com>2018-12-06 08:01:39 +0300
commit902dd122a991e2eab7a7fb7bb605a973e04e8ec3 (patch)
tree949505cf162bac81f22ecae6ea032909fba48798
parente78d805955a5613e91cc3f2af1db2776a6c6e3da (diff)
handle "false" for --dump-config
-rwxr-xr-xsrc/common/config_parser.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/common/config_parser.cpp b/src/common/config_parser.cpp
index 539579a1..d39f3b1a 100755
--- a/src/common/config_parser.cpp
+++ b/src/common/config_parser.cpp
@@ -719,7 +719,7 @@ void ConfigParser::parseOptions(int argc, char** argv, bool doValidate) {
// remove extra config files from the config to avoid redundancy
config_.remove("config");
- if(has("dump-config")) {
+ if(has("dump-config") && get<std::string>("dump-config") != "false") {
bool skipDefault = get<std::string>("dump-config") == "minimal";
config_.remove("dump-config");
std::cout << cli.dumpConfig(skipDefault) << std::endl;