diff options
| -rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index d3e048facef..8b9b9ce729f 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -1609,6 +1609,7 @@ sub action_update { if ($opts{"no-remove"}) { info("not removing $p due to -no-remove (removed on server)\n"); } else { + &ddebug("removing package $p\n"); my $rev = $localtlmedia->tlpdb->get_package($p)->revision; if ($opts{"list"}) { if ($::machinereadable) { @@ -3148,7 +3149,7 @@ sub init_tlmedia { if (!open($tlfh, ">:unix", $loc_copy_of_remote_tlpdb)) { tlwarn("Cannot save remote TeX Live database to $loc_copy_of_remote_tlpdb: $!\n"); } else { - print "DEBUG: writing out tlpdb to $loc_copy_of_remote_tlpdb\n"; + &debug("writing out tlpdb to $loc_copy_of_remote_tlpdb\n"); $tlmediatlpdb->writeout($tlfh); close($tlfh); } |