summaryrefslogtreecommitdiff
path: root/Master/install-tl
diff options
context:
space:
mode:
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-xMaster/install-tl3
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;
}