diff options
author | Piotr Strzelczyk <piotr@eps.gda.pl> | 2009-08-27 07:02:42 +0000 |
---|---|---|
committer | Piotr Strzelczyk <piotr@eps.gda.pl> | 2009-08-27 07:02:42 +0000 |
commit | bb253b2ed3183fe1a5aa58720cde654db0e9d8d0 (patch) | |
tree | d613bbb9a17e3eb66bbe53e927a8a78343a7b327 /Master/tlpkg | |
parent | 8118656654215df35087d2cb40c240ff93d6191f (diff) |
no exe stub check for tl-w32-wrapper.cmd
git-svn-id: svn://tug.org/texlive/trunk@14886 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-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 a75d67899fa..ef1b46b58b4 100755 --- a/Master/tlpkg/bin/check-wrapper-consistency +++ b/Master/tlpkg/bin/check-wrapper-consistency @@ -112,6 +112,7 @@ sub check_w32 foreach my $f (@binfiles) { next if ($f =~ /^tlmgr\.bat$/); # .exe would prevent tlmgr update --self! + next if ($f =~ /^tl-w32-wrapper\.cmd$/); # no .exe stub for the universal wrapper next unless ($f =~ s/\.(bat|cmd)$/\.exe/); # only if batch file $diff += system ("cmp $w32dir/$f $w32canonical"); } |