summaryrefslogtreecommitdiff
path: root/Master/texmf-dist
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-11-12 21:34:13 +0000
committerKarl Berry <karl@freefriends.org>2019-11-12 21:34:13 +0000
commit2db5e30d8ef78173dce1114cd78318957dac2023 (patch)
tree7f38d3e7d3fa4941721007720852d4b4e1273c0c /Master/texmf-dist
parentcd6c1ed1544340a5fe654b4ece401866da516c19 (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-xMaster/texmf-dist/scripts/texlive/tlmgr.pl5
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.