diff options
author | Norbert Preining <preining@logic.at> | 2016-04-12 06:14:22 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2016-04-12 06:14:22 +0000 |
commit | 84e3cf1458485456490dd962e55869e97c431496 (patch) | |
tree | c7b6497622d0f8ebcaa6b2ccc913623365a41a85 /Master/texmf-dist | |
parent | 45904312ab52e65e7d3de3e0a196298536fefca0 (diff) |
verify also local copies, triggered by new parameter to TLPDB->new
git-svn-id: svn://tug.org/texlive/trunk@40464 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index d4f152e985f..5644095a598 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -5883,7 +5883,7 @@ END_NO_INTERNET } } if (!$local_copy_tlpdb_used) { - $remotetlpdb = TeXLive::TLPDB->new(root => $location); + $remotetlpdb = TeXLive::TLPDB->new(root => $location, verify => 1); } if (!defined($remotetlpdb)) { return(undef, $loadmediasrcerror . $location); |