diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index 757a3ab29ec..e858d5fa131 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -2055,6 +2055,11 @@ sub action_update { next if ($pkg =~ m/^00texlive/); my $tlp = $localtlpdb->get_package($pkg); # we checked already that this package is present! + # but our checks seem to be wrong, no idea why + if (!defined($tlp)) { + tlwarn("tlmgr: tlp for package $pkg cannot be found, please report.\n"); + next; + } my $unwind_package; my $remove_unwind_container = 0; my $rev = $tlp->revision; |