diff options
-rwxr-xr-x | Master/install-tl.pl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Master/install-tl.pl b/Master/install-tl.pl index 1a149c1e8d6..2ea00cca74f 100755 --- a/Master/install-tl.pl +++ b/Master/install-tl.pl @@ -51,6 +51,7 @@ use TeXLive::TLPDB; use TeXLive::TLConfig qw($DefaultContainerExtension $InfraLocation); use TeXLive::TLWinGoo; use Getopt::Long; +$Getopt::Long::autoabbrev=0; use utf8; no utf8; @@ -147,6 +148,8 @@ my $opt_ddebug = 0; my $opt_dddebug = 0; my $opt_quiet = 0; my $opt_qquiet = 0; +my $opt_arch = 0; + $::netarchive = "archive"; $::diskarchive = "archive"; @@ -157,6 +160,7 @@ GetOptions("media=s" => \$opt_media, "netarchive=s" => \$::netarchive, "diskarchive=s" => \$::diskarchive, "lang=s" => \$::lang, + "print-arch" => \$opt_arch, "d" => \$opt_debug, "dd" => \$opt_ddebug, "ddd" => \$opt_dddebug, @@ -216,6 +220,11 @@ my $finished = 0; my $system_tmpdir=get_system_tmpdir(); +if ($opt_arch) { + print platform; + exit 0; +} + tllog($::LOG_NORMAL, "Platform: ", platform, " => \'", platform_desc(platform), "\'\n"); if (media() eq "DVD") { tllog($::LOG_NORMAL, "Distribution: live (uncompressed)\n"); |