diff options
author | Norbert Preining <preining@logic.at> | 2007-12-11 09:35:05 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2007-12-11 09:35:05 +0000 |
commit | d061e5ca7b3981743216f963d8f19b94e8b548f6 (patch) | |
tree | c95516a3c27d43c7de57c7034912317c2bd24b69 | |
parent | 3f07a59210d8f1223e3cddd1f4c9d590c5384be0 (diff) |
match cmdline options for media case-insensitive
git-svn-id: svn://tug.org/texlive/trunk@5757 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-x | Master/install-tl.pl | 6 |
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"; } |