diff options
Diffstat (limited to 'Master/tlpkg/TeXLive/TLPDB.pm')
-rw-r--r-- | Master/tlpkg/TeXLive/TLPDB.pm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/tlpkg/TeXLive/TLPDB.pm b/Master/tlpkg/TeXLive/TLPDB.pm index 7321df9533b..4abb1561977 100644 --- a/Master/tlpkg/TeXLive/TLPDB.pm +++ b/Master/tlpkg/TeXLive/TLPDB.pm @@ -2504,9 +2504,9 @@ sub check_evaluate_pinning { # check that all pinning lines where hit for my $p (@pins) { next if defined($p->{'hit'}); - tlwarn("pinning warning: the entry in line\n ", $p->{'line'}, - "\nconcerning the package pattern ", $p->{'glob'}, - "\nis not matched by any package!\n"); + tlwarn("tlmgr: pinning warning: the package pattern ", $p->{'glob'}, + " on the line:\n ", $p->{'line'}, + "\n does not match any package\n"); } } |