diff options
author | Karl Berry <karl@freefriends.org> | 2013-04-02 17:54:54 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-04-02 17:54:54 +0000 |
commit | 45ce7e2312e083df79b2c4ec11801ed2277c9821 (patch) | |
tree | 0311382e00a34a14c8f6cb38ec9c1b460bb26bac /Master/texmf | |
parent | da373c800667f85807276580df319595cc230258 (diff) |
notice if no adds done
git-svn-id: svn://tug.org/texlive/trunk@29609 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf')
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index 3384a3604c7..e4a63e2bfcf 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -3548,18 +3548,20 @@ sub action_pinning { return; } my $repo = shift @ARGV; + my @new = (); my @ov = $pf->value($repo); for my $n (@ARGV) { if (member($n, @ov)) { info("$prg: already pinned to $repo: $n\n"); } else { - push @ov, $n; + push (@ov, $n); + push (@new, $n); } } $pf->value($repo, @ov); $remotetlpdb->virtual_update_pins(); $pf->save; - info("$prg: new pinning data for $repo: @ARGV\n"); + info("$prg: new pinning data for $repo: @new\n") if @new; return 1; } elsif ($what =~ m/^remove$/i) { @@ -4783,7 +4785,7 @@ sub check_executes { } } if (keys %badmaps) { - print "mentioned map file not occuring in any package:\n"; + tlwarn("$prg: mentioned map file not present in any package:\n"); foreach my $mf (keys %badmaps) { print "\t$mf (execute in @{$badmaps{$mf}})\n"; } |