On 2025-05-09 09:30, Andreas Schwab wrote:
On Mai 09 2025, Torbjörn SVENSSON wrote:

diff --git a/contrib/check_GNU_style_lib.py b/contrib/check_GNU_style_lib.py
index f680983d2f3..8b930ef6bdb 100755
--- a/contrib/check_GNU_style_lib.py
+++ b/contrib/check_GNU_style_lib.py
@@ -279,7 +279,9 @@ def check_GNU_style_file(file, format):
      patch = PatchSet(file)
for pfile in patch.added_files + patch.modified_files:
-        t = pfile.target_file.lstrip('b/')
+        t = pfile.target_file
+        if t.startswith('b/'):
+            t = t[2:]

a.k.a.     t = pfile.target_file.removeprefix('b/')


Yes, but that would limit to python 3.9 or higher.

Kind regards,
Torbjörn

Reply via email to