From 685554b2c272fdefc23bb1d237c059b52ab5fc58 Mon Sep 17 00:00:00 2001 From: Wiimm Date: Sat, 17 Feb 2024 11:45:01 +0100 Subject: SZS v2.41a --- project/src/wkmpt.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'project/src/wkmpt.c') diff --git a/project/src/wkmpt.c b/project/src/wkmpt.c index 336f574..fdde615 100644 --- a/project/src/wkmpt.c +++ b/project/src/wkmpt.c @@ -828,7 +828,7 @@ static enumError diff_kmp ( ccp fname1, ccp fname2 ) { const int diff_verbose = verbose + 2; err = DiffKMP( &kmp1, &kmp2, diff_verbose < 0 ? 0 : diff_verbose ); - if ( verbose >= -2 && err == ERR_DIFFER ) + if ( ErrorLogEnabled() && err == ERR_DIFFER ) printf("KMP differ: %s : %s\n", kmp1.fname, kmp2.fname ); else if ( verbose >= 0 && err == ERR_OK ) printf("KMP identical: %s : %s\n", kmp1.fname, kmp2.fname ); @@ -1611,6 +1611,7 @@ static enumError CheckOptions ( int argc, char ** argv, bool is_env ) case GO_DE: use_de = true; break; case GO_CT_CODE: ctcode_enabled = true; break; case GO_LE_CODE: lecode_enabled = true; break; // optional argument ignored + case GO_LE_04X: lecode_04x = true; break; case GO_COLORS: err += ScanOptColorize(0,optarg,0); break; case GO_NO_COLORS: opt_colorize = COLMD_OFF; break; -- cgit v1.3.1