diff options
-rw-r--r-- | Master/tlpkg/TeXLive/TLPOBJ.pm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/TeXLive/TLPOBJ.pm b/Master/tlpkg/TeXLive/TLPOBJ.pm index e7d89909630..c01ceac2355 100644 --- a/Master/tlpkg/TeXLive/TLPOBJ.pm +++ b/Master/tlpkg/TeXLive/TLPOBJ.pm @@ -134,7 +134,7 @@ sub from_fh { $self->{'docfiledata'}{$f}{'details'} = $1; $self->{'docfiledata'}{$f}{'language'} = $2; } else { - die "Unparsable tagging in line: =$line="; + warn "Unparsable tagging in TLPDB line: =$line="; } } } elsif ($lastcmd eq "binfiles") { |