diff options
Diffstat (limited to 'src/tool_parsecfg.c')
| -rw-r--r-- | src/tool_parsecfg.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tool_parsecfg.c b/src/tool_parsecfg.c index 9115a05dd..ca3a4515e 100644 --- a/src/tool_parsecfg.c +++ b/src/tool_parsecfg.c @@ -231,6 +231,7 @@ int parseconfig(const char *filename, filename = (char *)"<stdin>"; } if(res != PARAM_HELP_REQUESTED && + res != PARAM_MANUAL_REQUESTED && res != PARAM_VERSION_INFO_REQUESTED && res != PARAM_ENGINES_REQUESTED) { const char *reason = param2text(res); |