diff options
-rwxr-xr-x | Master/tlpkg/bin/check-wrapper-consistency | 1 |
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"); } |