diff options
author | Norbert Preining <norbert@preining.info> | 2019-12-11 13:46:41 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-04-25 22:43:43 +0900 |
commit | 9b35a913dd8d865721e66310498da41653f5af7e (patch) | |
tree | 45c839a3ccf2505ffdb12011458898f3b860efa1 /Master/tlpkg/bin/tl-update-install-pkg | |
parent | 803980524c9abc5919a821b170590ea0e1d11650 (diff) |
work on win64 support
Diffstat (limited to 'Master/tlpkg/bin/tl-update-install-pkg')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-install-pkg | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-install-pkg b/Master/tlpkg/bin/tl-update-install-pkg index d0800750e06..bdfa07171bc 100755 --- a/Master/tlpkg/bin/tl-update-install-pkg +++ b/Master/tlpkg/bin/tl-update-install-pkg @@ -158,7 +158,7 @@ if ($opt_texlivedocs) { my %tlpbin = %{$tlpinst->binfiles}; for my $a (keys %tlpbin) { - next if ($a =~ m/win32/); + next if ($a =~ m/win(32|64)/); push (@unix, @{$tlpbin{$a}}); } @@ -167,6 +167,9 @@ push (@win32, @unix); if (defined $tlpbin{"win32"}) { push (@win32, @{$tlpbin{"win32"}}); } +if (defined $tlpbin{"win64"}) { + push (@win32, @{$tlpbin{"win64"}}); +} # main. |