diff options
author | Piotr Strzelczyk <piotr@eps.gda.pl> | 2009-08-17 06:41:51 +0000 |
---|---|---|
committer | Piotr Strzelczyk <piotr@eps.gda.pl> | 2009-08-17 06:41:51 +0000 |
commit | 34f0f27ba95ba383dc0ea3f7685235d2e0df0076 (patch) | |
tree | a536c3fec0b254dcb9bfa5a0184893587670d91d /Master | |
parent | 313380c4aa975506277849933d7154c27daff697 (diff) |
wrapper consistency - check .exe, not .bat
git-svn-id: svn://tug.org/texlive/trunk@14722 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 1bf3f0beee1..fba08bdd8e9 100755 --- a/Master/tlpkg/bin/check-wrapper-consistency +++ b/Master/tlpkg/bin/check-wrapper-consistency @@ -103,7 +103,7 @@ sub check_w32 next if $target =~ /tlmgr/; # does things its own way next if $target =~ /xasy/; # no need #print "$k -> $uw{$k}\n"; - $diff += system ("cmp $w32dir/$k.bat $w32canonical"); + $diff += system ("cmp $w32dir/$k.exe $w32canonical"); } opendir (DIR, $w32dir) || die "opendir($DIR) failed: $!"; |