summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/install-tl4
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();