diff options
author | Karl Berry <karl@freefriends.org> | 2019-11-12 21:34:13 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-11-12 21:34:13 +0000 |
commit | 2db5e30d8ef78173dce1114cd78318957dac2023 (patch) | |
tree | 7f38d3e7d3fa4941721007720852d4b4e1273c0c /Master/texmf-dist | |
parent | cd6c1ed1544340a5fe654b4ece401866da516c19 (diff) |
(check_executes): do not bother to check
lualatex-dev, situation is too confused.
git-svn-id: svn://tug.org/texlive/trunk@52752 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index 5b3fd98a3ad..ab3dc672c67 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -5676,10 +5676,11 @@ sub check_executes { my $engine = $r{"engine"}; my $name = $r{"name"}; my $mode = $r{"mode"}; - # special case for cont-en ... + # just never mind about these. next if ($name eq "cont-en"); + next if ($name eq "lualatex-dev"); # we check that the name exist in bin/$arch - if ($engine =~ /^(lua(jit|hb)tex|mfluajit)$/) { + if (",$TeXLive::TLConfig::PartialEngineSupport," =~ /,$engine,/) { # luajittex is special since it is not available on all architectures # due to inherent reasons (machine code); # luahbtex is special until we build it everywhere for TL'20. |