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 5a3050bafa6..581d63cabec 100755 --- a/Master/tlpkg/bin/check-wrapper-consistency +++ b/Master/tlpkg/bin/check-wrapper-consistency @@ -99,6 +99,7 @@ sub check_w32 next if $target =~ /listings-ext/; # shell script next if $target =~ /man/; # no symlink next if $target =~ /simpdftex/; # shell script + next if $target =~ /texmfstart/; # has its own binary next if $target =~ /tlmgr/; # does things its own way next if $target =~ /xasy/; # no need #print "$k -> $uw{$k}\n"; |