summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2017-05-01 22:41:15 +0000
committerKarl Berry <karl@freefriends.org>2017-05-01 22:41:15 +0000
commit368d0a467659b479b8824de776c0969537a4fb1a (patch)
treecabff66d2895cb03a1d86c437a2a214063d68ab0
parent8c793c0c08d5dacbca98c8e9b6da0e83b33372d9 (diff)
shell set must be case-sensitive since we set %opts.
git-svn-id: svn://tug.org/texlive/trunk@44145 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/texmf-dist/scripts/texlive/tlmgr.pl4
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl
index 5bafccb5df5..cc08146ab6a 100755
--- a/Master/texmf-dist/scripts/texlive/tlmgr.pl
+++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl
@@ -5945,9 +5945,9 @@ sub action_shell {
}
}
print "OK\n";
- } elsif ($key =~ m/^(debug-translation|machine-readable|no-execute-actions|require-verification|verify-downloads)$/i) {
+ } elsif ($key =~ m/^(debug-translation|machine-readable|no-execute-actions|require-verification|verify-downloads)$/) {
if ($cmd eq "set") {
- $opts{$key} = ($val eq "1" ? 1 : 0); ### THIS DOES NOT WORK??? TODO TODO
+ $opts{$key} = ($val eq "1" ? 1 : 0);
# special cases
$::debug_translation = $opts{"debug-translation"};
$::machinereadable = $opts{"machine-readable"};