diff options
| -rwxr-xr-x | Master/install-tl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/install-tl b/Master/install-tl index 6c7f51993af..73f93e834db 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -630,6 +630,9 @@ sub load_tlpdb { } tllog($::LOG_NORMAL, "Loading $master/$TeXLive::TLConfig::InfraLocation/$TeXLive::TLConfig::DatabaseName ...\n"); $tlpdb=TeXLive::TLPDB->new(root => "$master"); + if (!defined($tlpdb)) { + die("Cannot load TeX Live Database from $master"); + } } sub initialize_collections { |