summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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 {