summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/install-tl.pl9
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");