summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorReinhard Kotucha <reinhard.kotucha@web.de>2008-03-04 18:03:51 +0000
committerReinhard Kotucha <reinhard.kotucha@web.de>2008-03-04 18:03:51 +0000
commit777f21a7297ed21468ecb770d79db9d983dea271 (patch)
tree66bae6e0b9266a4f86c8906d181d875e8bf3f347 /Master
parent2d8e2f69e855f574afe42b24169adb30ca6847ad (diff)
install-tl.pl: New option --print-arch, getopt: autoabbrev disabled.
git-svn-id: svn://tug.org/texlive/trunk@6854 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-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");