diff options
author | Karl Berry <karl@freefriends.org> | 2012-03-31 22:37:18 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-03-31 22:37:18 +0000 |
commit | b78a06049d5ea9b3d468e641c8a09d18ac46b282 (patch) | |
tree | d1614c7c6799c9d7f45f94e7ad3812a699709c75 /Master/tlpkg/bin/check-wrapper-consistency | |
parent | 3687879dd2dab0c4f3374c2d800ef35789902105 (diff) |
consistency
git-svn-id: svn://tug.org/texlive/trunk@25802 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/check-wrapper-consistency')
-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 23aed46918a..486eb80c9d5 100755 --- a/Master/tlpkg/bin/check-wrapper-consistency +++ b/Master/tlpkg/bin/check-wrapper-consistency @@ -110,7 +110,7 @@ sub check_w32 { next if $target =~ /texdoc/; # gui stub next if $target =~ /texworks/; # gui stub next if $target =~ /tlmgr/; # does things its own way - next if $target =~ /typeoutfileinfo.exe/; # shell script + next if $target =~ /typeoutfileinfo/; # shell script next if $target =~ /xasy/; # no need #print "$k -> $uw{$k}\n"; $diff += system ("cmp $w32dir/$k.exe $w32canonical"); |