diff options
-rwxr-xr-x | Master/tlpkg/bin/check-execute-consistency | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Master/tlpkg/bin/check-execute-consistency b/Master/tlpkg/bin/check-execute-consistency index 9b45d2df2cb..2a1729359b0 100755 --- a/Master/tlpkg/bin/check-execute-consistency +++ b/Master/tlpkg/bin/check-execute-consistency @@ -121,7 +121,6 @@ sub main # - parse the options parameter and check for the inifile # - rework the format definition that we have inifile=pdflatex.ini # isn't the * unnecessary? - tlwarn("checking of AddFormat lines disabled!\n"); my %missingbins; my %missingengines; my %missinginis; @@ -134,11 +133,14 @@ sub main my $engine = $r{"engine"}; my $name = $r{"name"}; my $mode = $r{"mode"}; + # special case for cont-en ... + next if ($name eq "cont-en"); # we check that the name exist in bin/$arch for my $a ($tlpdb->available_architectures) { if (! -r "$Master/bin/$a/$name") { if (($a eq "win32") || ($a eq "i386-cygwin")) { - if (! -r "$Master/bin/$a/$name.exe") { + if (! ( -r "$Master/bin/$a/$name.exe" || + -r "$Master/bin/$a/$name.bat")) { push @{$missingbins{$_}}, "bin/$a/$name" if $mode; } } else { @@ -147,7 +149,8 @@ sub main } if (! -r "$Master/bin/$a/$engine") { if (($a eq "win32") || ($a eq "i386-cygwin")) { - if (! -r "$Master/bin/$a/$engine.exe") { + if (! (-r "$Master/bin/$a/$engine.exe" || + -r "$Master/bin/$a/$engine.bat")) { push @{$missingengines{$_}}, "bin/$a/$engine" if $mode; } } else { |