diff --git a/.github/workflows/msgfmt.py b/.github/workflows/msgfmt.py index 93b5da0262..dbd151d621 100644 --- a/.github/workflows/msgfmt.py +++ b/.github/workflows/msgfmt.py @@ -239,6 +239,7 @@ def main(): return for filename in args: + print(filename, outfile) make(filename, outfile)