diff options
-rwxr-xr-x | Master/tlpkg/bin/check-fmttriggers | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/check-fmttriggers b/Master/tlpkg/bin/check-fmttriggers index 21ba259f715..eca92140763 100755 --- a/Master/tlpkg/bin/check-fmttriggers +++ b/Master/tlpkg/bin/check-fmttriggers @@ -337,7 +337,7 @@ sub compare_pkgs_and_triggers { delete $fmttriggers->{$ef}; # ok } else { tlwarn ("$prg: no fmttriggers in tlpdb: $ef\n" - . " fmttriggers=" . join (",", @recorded_pkgs) . "\n") + . " fmttriggers=" . join (",", @recorded_pkgs) . "\n"); $bad_p = 1; } } |