diff options
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/Master/install-tl b/Master/install-tl index 411d622a99f..84147401924 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -714,12 +714,11 @@ sub initialize_collections { } sub set_install_platform { - my @available_platforms; my $detected_platform=platform; my $warn_nobin; my $warn_nobin_x86_64_linux; my $nowarn=""; - my $wp='##'; # warning prefix + my $wp='***'; # warning prefix $warn_nobin="\n$wp WARNING! No binaries for your platform found! "; $warn_nobin_x86_64_linux="$warn_nobin" . @@ -1327,8 +1326,8 @@ Omit normal informational messages. =item B<-v> -Include debugging messages; repeat for maximum debugging, as in C<-vv>. -(Further repeats are accepted and ignored.) +Include debugging messages; repeat for maximum debugging, as in C<-v +-v>. (Further repeats are accepted but ignored.) =item B<--help>, B<-help>, B<-?> |