diff options
Diffstat (limited to 'Master/tlpkg/bin/check-wrapper-consistency')
| -rwxr-xr-x | Master/tlpkg/bin/check-wrapper-consistency | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/check-wrapper-consistency b/Master/tlpkg/bin/check-wrapper-consistency index 97c566a6721..10082236f31 100755 --- a/Master/tlpkg/bin/check-wrapper-consistency +++ b/Master/tlpkg/bin/check-wrapper-consistency @@ -100,10 +100,11 @@ sub check_w32 for my $k (sort keys %uw) { #print "$k -> $uw{$k}\n"; my $target = $uw{$k}; - next if $target =~ /tex4ht/; # tex4ht elements have their own .bat's - next if $target =~ /ps4pdf/; # has its own .bat + next if $k eq /context/; # has its own .cmd file next if $target =~ /dviasm|ebong/; # no .bat for python + next if $target =~ /ps4pdf/; # has its own .bat next if $target =~ /simpdftex/; # shell script + next if $target =~ /tex4ht/; # tex4ht has its own .bat's $diff += system ("cmp $w32dir/$k.bat $w32canonical"); } |