cat log

shun2wang · Dec 14, 2023 · 0921e49 · 0921e49
1 parent 9152828
commit 0921e49
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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)