diff options
author | Karl Berry <karl@freefriends.org> | 2017-11-12 22:36:44 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-11-12 22:36:44 +0000 |
commit | 12210cd102a3fc2a229487522a98adf26e69ca43 (patch) | |
tree | 6ee3e51ef22a4861c5fca1988720dfe090312ff1 /Master | |
parent | 130a38c55bf2d923363d6697b46c67e5ce59d5fb (diff) |
missing ;
git-svn-id: svn://tug.org/texlive/trunk@45767 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-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; } } |