diff options
author | Karl Berry <karl@freefriends.org> | 2017-08-18 23:06:41 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-08-18 23:06:41 +0000 |
commit | 5d19e7682d8e4f41386077ac94c39fbaf53037e5 (patch) | |
tree | 6fbd995f3f54a02dc8b837ec11971f4a7d5209b0 /Master | |
parent | b2def03aa7c2f55ad54f810353bb457dafd3edc7 (diff) |
(check_w32): tlshell is a new non-wrapper.exe.
git-svn-id: svn://tug.org/texlive/trunk@45070 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/tlpkg/bin/check-wrapper-consistency | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/check-wrapper-consistency b/Master/tlpkg/bin/check-wrapper-consistency index cae3e0aa44f..1eda326b7fa 100755 --- a/Master/tlpkg/bin/check-wrapper-consistency +++ b/Master/tlpkg/bin/check-wrapper-consistency @@ -93,7 +93,7 @@ sub check_w32 { next if $is_shell_script{$k}; # skip shell scripts # # also skip these special cases: - next if $k =~ /^(latexindent|texdoctk|tlmgr|xasy)$/; + next if $k =~ /^(latexindent|texdoctk|tlmgr|tlshell|xasy)$/; # # else do the diff with the canonical wrapper: $diff += system ("cmp $w32dir/$k.exe $w32canonical"); |