diff options
Diffstat (limited to 'Master/tlpkg/TeXLive/TLPDB.pm')
-rw-r--r-- | Master/tlpkg/TeXLive/TLPDB.pm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/TeXLive/TLPDB.pm b/Master/tlpkg/TeXLive/TLPDB.pm index 6d623daaa6e..48f95e6f260 100644 --- a/Master/tlpkg/TeXLive/TLPDB.pm +++ b/Master/tlpkg/TeXLive/TLPDB.pm @@ -292,6 +292,7 @@ sub from_file { } else { # we cannot find the right type, return undefined, that should # make people notice + tlwarn("Cannot determine type of tlpdb!\n"); return 0; } } |