diff options
author | Norbert Preining <preining@logic.at> | 2009-06-02 22:52:02 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2009-06-02 22:52:02 +0000 |
commit | ef7b46be58cf5f28994fc7b60538c9342197f259 (patch) | |
tree | b6222b4449a337918c8ce2cb5a87da7e83a1756d | |
parent | 8070204ef6068bbab49549797fdff4ff66b3c192 (diff) |
ignore cont-en, remove wrong warning that checking of AddFormat lines
is disabled, check for .bat files for engines and link
git-svn-id: svn://tug.org/texlive/trunk@13587 c570f23f-e606-0410-a88d-b1316a301751
-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 { |