diff options
| author | Wiimm <wiimm@wiimm.de> | 2022-08-06 16:20:07 +0200 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2022-08-06 16:20:07 +0200 |
| commit | 7fad9e9383d01cce3ac17176404e1ab4e738736c (patch) | |
| tree | df39dd0616554ce9daa138f2e9778c88fbf9ac55 /project/src/wkmpt.c | |
| parent | 06ff18cd020779c226f7c25d22016e06b898f303 (diff) | |
SZS v2.28a.beta2
Diffstat (limited to 'project/src/wkmpt.c')
| -rw-r--r-- | project/src/wkmpt.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/project/src/wkmpt.c b/project/src/wkmpt.c index 11eb940..701db6e 100644 --- a/project/src/wkmpt.c +++ b/project/src/wkmpt.c @@ -1584,6 +1584,7 @@ static enumError CheckOptions ( int argc, char ** argv, bool is_env ) case GO_QUIET: verbose = verbose > -1 ? -1 : verbose - 1; break; case GO_VERBOSE: verbose = verbose < 0 ? 0 : verbose + 1; break; case GO_LOGGING: logging++; break; + case GO_EXT_ERRORS: ext_errors++; break; case GO_TIMING: log_timing++; break; case GO_WARN: err += ScanOptWarn(optarg); break; case GO_DE: use_de = true; break; @@ -1809,7 +1810,7 @@ static enumError CheckCommand ( int argc, char ** argv ) hint_exit(ERR_OK); } - enumError err = CheckEnvOptions("WKMPT_OPT",CheckOptions); + enumError err = CheckEnvOptions2("WKMPT_OPT",CheckOptions); if (err) hint_exit(err); |