diff options
Diffstat (limited to 'Master/tlpkg/bin/tl-update-tlpdb')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-tlpdb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-tlpdb b/Master/tlpkg/bin/tl-update-tlpdb index fd6d110ca7d..3a7e00b1e29 100755 --- a/Master/tlpkg/bin/tl-update-tlpdb +++ b/Master/tlpkg/bin/tl-update-tlpdb @@ -134,7 +134,7 @@ sub main { my $oldtlpdb = undef; my $OLDTLPDB = "$opt_master/$DatabaseLocation"; - if (-r $OLDTLPDB) { + if (-s $OLDTLPDB) { $oldtlpdb = TeXLive::TLPDB->new("root" => $opt_master); } if (!defined($oldtlpdb)) { |