summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2016-04-12 06:14:22 +0000
committerNorbert Preining <preining@logic.at>2016-04-12 06:14:22 +0000
commit84e3cf1458485456490dd962e55869e97c431496 (patch)
treec7b6497622d0f8ebcaa6b2ccc913623365a41a85 /Master/texmf-dist/scripts
parent45904312ab52e65e7d3de3e0a196298536fefca0 (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/scripts')
-rwxr-xr-xMaster/texmf-dist/scripts/texlive/tlmgr.pl2
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);