From fc19b17fc7ac2336a3ff4c31da30b12bc24095c9 Mon Sep 17 00:00:00 2001 From: Adriaan de Groot Date: Fri, 29 Nov 2024 13:31:02 +0100 Subject: [PATCH] CI: be a little more chatty with the language lists --- ci/txstats.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/ci/txstats.py b/ci/txstats.py index 3b6037ef9..f342672c7 100755 --- a/ci/txstats.py +++ b/ci/txstats.py @@ -132,14 +132,14 @@ class EditingOutputter(object): nextmark += 1 if l.startswith(mark_text): break - if nextmark > mark + 100 or nextmark > len(lines) - 4: + if nextmark > mark + 150 or nextmark > len(lines) - 4: # Try to catch runaway nextmarks: we know there should # be four set-lines, which are unlikely to be 3 lines each; # similarly the CMakeLists.txt is supposed to end with # some boilerplate. # # However, gersemi will reformat to one-language-per-line, - # so we can get really long sections, that's why we use 100 as a limit. + # so we can get really long sections, that's why we use 150 as a limit. raise TXError("Could not find end of TX settings in CMakeLists.txt") self.post_lines = lines[nextmark:] @@ -175,13 +175,13 @@ def output_langs(all_langs, outputter, label, filterfunc): out = " ".join(["set( _tx_%s" % label, " ".join(sorted(these_langs)), ")"]) width = 68 prefix = "" - + trailer = f" # {len(these_langs)} languages" # Comment at the end of the CMake line while len(out) > width - len(prefix): chunk = out[:out[:width].rfind(" ")] outputter.print("%s%s" % (prefix, chunk)) out = out[len(chunk)+1:] prefix = " " - outputter.print("%s%s" % (prefix, out)) + outputter.print(f"{prefix}{out}{trailer}") def get_tx_stats(languages, outputter, verbose):