summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/tlpkg/bin/check-wrapper-consistency1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/check-wrapper-consistency b/Master/tlpkg/bin/check-wrapper-consistency
index a75d67899fa..ef1b46b58b4 100755
--- a/Master/tlpkg/bin/check-wrapper-consistency
+++ b/Master/tlpkg/bin/check-wrapper-consistency
@@ -112,6 +112,7 @@ sub check_w32
foreach my $f (@binfiles) {
next if ($f =~ /^tlmgr\.bat$/); # .exe would prevent tlmgr update --self!
+ next if ($f =~ /^tl-w32-wrapper\.cmd$/); # no .exe stub for the universal wrapper
next unless ($f =~ s/\.(bat|cmd)$/\.exe/); # only if batch file
$diff += system ("cmp $w32dir/$f $w32canonical");
}