diff options
| -rwxr-xr-x | Master/install-tl | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/Master/install-tl b/Master/install-tl index 4c6fa01cbd9..ccca573033b 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -341,6 +341,13 @@ if (($opt_gui ne "text") && !$opt_no_gui && ($opt_profile eq "")) { } } +# +if (defined($opt_force_arch)) { + tlwarn("Overriding platform to $opt_force_arch\n"); + $::_platform_ = $opt_force_arch; +} +$vars{'this_platform'} = $::_platform_; + # initialize the correct platform platform(); @@ -394,12 +401,6 @@ if ($location =~ m!^(ctan$|(http|ftp)://)!i) { } info("Installing TeX Live $TeXLive::TLConfig::ReleaseYear from: $location\n"); -if (defined($opt_force_arch)) { - tlwarn("Overriding platform to $opt_force_arch\n"); - $::_platform_ = $opt_force_arch; -} -$vars{'this_platform'} = $::_platform_; - info("Platform: ", platform, " => \'", platform_desc(platform), "\'\n"); if ($opt_custom_bin) { if (-d $opt_custom_bin) { |