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/wstrt.c | |
| parent | 06ff18cd020779c226f7c25d22016e06b898f303 (diff) | |
SZS v2.28a.beta2
Diffstat (limited to '')
| -rw-r--r-- | project/src/wstrt.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/project/src/wstrt.c b/project/src/wstrt.c index 81ee94d..f02cd6a 100644 --- a/project/src/wstrt.c +++ b/project/src/wstrt.c @@ -1587,6 +1587,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; @@ -1867,7 +1868,7 @@ static enumError CheckCommand ( int argc, char ** argv ) xparam.print_format = false; xparam.print_summary= false; - enumError err = CheckEnvOptions("WSTRT_OPT",CheckOptions); + enumError err = CheckEnvOptions2("WSTRT_OPT",CheckOptions); if (err) hint_exit(err); |