diff options
Diffstat (limited to 'Master/texmf-dist/scripts')
| -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); |