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/')
--
Andreas Schwab, [email protected]
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1
"And now for something completely different."
