From bed28d5ec7c8cbc8ff22d059d954d20802df152b Mon Sep 17 00:00:00 2001 From: Tim Newsome Date: Wed, 5 Oct 2022 11:51:00 -0700 Subject: filter_openocd: Prefer high repetitions. I'd rather see "these 10 lines were repeated 100 times" than "these 100 lines were repeated 10 times." Change-Id: I88fcf86b10c5fb0ba1d19b21fe054065da90fedd Signed-off-by: Tim Newsome --- tools/filter_openocd_log.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/filter_openocd_log.py b/tools/filter_openocd_log.py index 076be20..666e166 100755 --- a/tools/filter_openocd_log.py +++ b/tools/filter_openocd_log.py @@ -50,7 +50,7 @@ def shorten_buffer(outfd, buf, current_repetition): repetitions.append((matched_lines + length, length)) if repetitions: - repetitions.sort(key=lambda entry: (entry[0] * (entry[1] / entry[0]), -entry[1])) + repetitions.sort(key=lambda entry: -entry[1]) matched_lines, length = repetitions[-1] repeated = int(matched_lines / length) if repeated * length >= 3: -- cgit v1.1