diff options
author | Karl Berry <karl@freefriends.org> | 2012-03-19 23:22:36 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-03-19 23:22:36 +0000 |
commit | bb35c29a1eb42096bf8fbc354155751228e68e64 (patch) | |
tree | d7fbe2b33eab4eaed64549720d15a2b6d4bd1157 /Master | |
parent | f93b24cd88b77bb345eac8cbc98114e904481fc6 (diff) |
no wrapper expected for typeoutfileinfo
git-svn-id: svn://tug.org/texlive/trunk@25703 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/tlpkg/bin/check-wrapper-consistency | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/check-wrapper-consistency b/Master/tlpkg/bin/check-wrapper-consistency index f31b853de3b..feac6cd8d53 100755 --- a/Master/tlpkg/bin/check-wrapper-consistency +++ b/Master/tlpkg/bin/check-wrapper-consistency @@ -87,6 +87,9 @@ sub unx_wrapper_entries { # W32DIR as a .exe, and is a copy of the canonical w32 wrapper exe # specified in W32CANONICAL. # +# We should use the *_shell_scripts in linked_scripts/Makefile.am +# instead of redoing it here. +# sub check_w32 { my ($w32dir, $w32canonical, %uw) = @_; my $diff = 0; @@ -107,6 +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 =~ /xasy/; # no need #print "$k -> $uw{$k}\n"; $diff += system ("cmp $w32dir/$k.exe $w32canonical"); |