diff options
Diffstat (limited to 'Master/texmf')
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index ea69e67a10b..173fc5e5a52 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -912,6 +912,8 @@ sub removed_dirs # construct hash of all directories mentioned, values are lists of the # files/dirs in that directory. for my $f (@files) { + # what should we do with not existing entries???? + next if (! -r "$f"); my $abs_f = abs_path ($f); if (!$abs_f) { warn ("oops, no abs_path($f) from " . `pwd`); |