diff options
author | Karl Berry <karl@freefriends.org> | 2019-11-06 22:48:49 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-11-06 22:48:49 +0000 |
commit | 63a03ecd6511eb7f85657603a2ad9a6db959a133 (patch) | |
tree | 3423b0c516e6b47f98295be670a29d6b8281abca /Master | |
parent | ea49f1f7ce4be0ea57d1e081a2cebf8e27d40f0f (diff) |
(action_option): report localtlpdb locationb being updated.
git-svn-id: svn://tug.org/texlive/trunk@52661 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index 24dbb6ead73..b346490df33 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -4758,6 +4758,8 @@ sub action_option { return ($F_ERROR); } } + my $local_location = $localtlpdb->location; + info("$prg: updating $local_location\n"); $localtlpdb->save; # now also save the TLPOBJ of 00texlive.installation my $tlpo = $localtlpdb->get_package("00texlive.installation"); |