diff options
| author | Karl Berry <karl@freefriends.org> | 2017-05-01 22:41:15 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2017-05-01 22:41:15 +0000 |
| commit | 368d0a467659b479b8824de776c0969537a4fb1a (patch) | |
| tree | cabff66d2895cb03a1d86c437a2a214063d68ab0 | |
| parent | 8c793c0c08d5dacbca98c8e9b6da0e83b33372d9 (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-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 4 |
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"}; |