summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2017-11-12 22:36:44 +0000
committerKarl Berry <karl@freefriends.org>2017-11-12 22:36:44 +0000
commit12210cd102a3fc2a229487522a98adf26e69ca43 (patch)
tree6ee3e51ef22a4861c5fca1988720dfe090312ff1
parent130a38c55bf2d923363d6697b46c67e5ce59d5fb (diff)
missing ;
git-svn-id: svn://tug.org/texlive/trunk@45767 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/tlpkg/bin/check-fmttriggers2
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;
}
}