summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2007-12-11 09:35:05 +0000
committerNorbert Preining <preining@logic.at>2007-12-11 09:35:05 +0000
commitd061e5ca7b3981743216f963d8f19b94e8b548f6 (patch)
treec95516a3c27d43c7de57c7034912317c2bd24b69
parent3f07a59210d8f1223e3cddd1f4c9d590c5384be0 (diff)
match cmdline options for media case-insensitive
git-svn-id: svn://tug.org/texlive/trunk@5757 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/install-tl.pl6
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/install-tl.pl b/Master/install-tl.pl
index 07ef77233e5..3cef3f61489 100755
--- a/Master/install-tl.pl
+++ b/Master/install-tl.pl
@@ -97,11 +97,11 @@ GetOptions("media=s" => \$opt_media,
"diskarchive=s" => \$::diskarchive,
"url=s" => \$opt_url ) or die("No pod doc till now!");
-if ("$opt_media" eq "CD") {
+if ("$opt_media" =~ m/^CD/i) {
$::_media_ = "CD";
-} elsif ("$opt_media" eq "NET") {
+} elsif ("$opt_media" =~ m/^NET/i) {
$::_media_ = "NET";
-} elsif ("$opt_media" eq "DVD") {
+} elsif ("$opt_media" =~ m/^DVD/i) {
$::_media_ = "DVD";
}