summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2009-06-02 22:52:02 +0000
committerNorbert Preining <preining@logic.at>2009-06-02 22:52:02 +0000
commitef7b46be58cf5f28994fc7b60538c9342197f259 (patch)
treeb6222b4449a337918c8ce2cb5a87da7e83a1756d /Master
parent8070204ef6068bbab49549797fdff4ff66b3c192 (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
Diffstat (limited to 'Master')
-rwxr-xr-xMaster/tlpkg/bin/check-execute-consistency9
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 {