diff options
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/install-tl b/Master/install-tl index 08e23c7b371..0929d0fd2f2 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -577,6 +577,10 @@ sub do_installation { debug("Switching to non-admin mode due to explicit user request!\n"); non_admin() if !$vars{'option_w32_multi_user'}; } + if ($vars{'n_collections_selected'} <= 0) { + tlwarn("Nothing selected, nothing to install, exiting!\n"); + exit 1; + } # do the actual installation my $h; prepare_installation(); |