fix broken pkgs.py master
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 25 Jan 2025 11:15:15 +0000 (12:15 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 25 Jan 2025 11:15:15 +0000 (12:15 +0100)
pkgs.py

diff --git a/pkgs.py b/pkgs.py
index 964a0cd..c588e5c 100755 (executable)
--- a/pkgs.py
+++ b/pkgs.py
@@ -177,7 +177,7 @@ class PkgsParser:
                                         excluded += rights.split()
                                     else:
                                         if self.options.verbose:
-                                            print(f'{filename}:{lineno}: from {left}, including {rights},
+                                            print(f'{filename}:{lineno}: from {left}, including {rights}',
                                                   file=stderr)
                                         included += rights.split()
                                 elif self.m_old.match(left):