diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/install-tl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/install-tl b/Master/install-tl index ac113456307..b45cffc9395 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -755,7 +755,8 @@ sub do_installation { if (win32()) { non_admin() if !$vars{'option_w32_multi_user'}; } - if ($vars{'n_collections_selected'} <= 0) { + if ($vars{'selected_scheme'} ne "scheme-infraonly" + && $vars{'n_collections_selected'} <= 0) { tlwarn("Nothing selected, nothing to install, exiting!\n"); exit 1; } |