diff options
| author | Wiimm <wiimm@wiimm.de> | 2024-02-17 11:45:01 +0100 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2024-02-17 11:45:01 +0100 |
| commit | 685554b2c272fdefc23bb1d237c059b52ab5fc58 (patch) | |
| tree | 9e0e7ff41f688bdc07fdb7869fc0258725197bcf /project/src/wkmpt.c | |
| parent | ac9a0b25eaffaa05e5431a8527dab8649ef6504f (diff) | |
SZS v2.41a
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 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; |