From 7fad9e9383d01cce3ac17176404e1ab4e738736c Mon Sep 17 00:00:00 2001 From: Wiimm Date: Sat, 6 Aug 2022 16:20:07 +0200 Subject: SZS v2.28a.beta2 --- project/src/wmdlt.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'project/src/wmdlt.c') diff --git a/project/src/wmdlt.c b/project/src/wmdlt.c index 133e53e..edf4c8b 100644 --- a/project/src/wmdlt.c +++ b/project/src/wmdlt.c @@ -545,6 +545,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; @@ -731,7 +732,7 @@ static enumError CheckCommand ( int argc, char ** argv ) hint_exit(ERR_OK); } - enumError err = CheckEnvOptions("WMDLT_OPT",CheckOptions); + enumError err = CheckEnvOptions2("WMDLT_OPT",CheckOptions); if (err) hint_exit(err); -- cgit v1.3.1