install-tl.pl: New option --print-arch, getopt: autoabbrev disabled.

git-svn-id: svn://tug.org/texlive/trunk@6854 c570f23f-e606-0410-a88d-b1316a301751

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");