summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/tlpkg/bin/check-wrapper-consistency2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/check-wrapper-consistency b/Master/tlpkg/bin/check-wrapper-consistency
index feac6cd8d53..23aed46918a 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.exe/; # shell script
next if $target =~ /xasy/; # no need
#print "$k -> $uw{$k}\n";
$diff += system ("cmp $w32dir/$k.exe $w32canonical");