diff options
Diffstat (limited to 'Master/tlpkg/bin/check-wrapper-consistency')
-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 abd8a729050..90ded4d86c2 100755 --- a/Master/tlpkg/bin/check-wrapper-consistency +++ b/Master/tlpkg/bin/check-wrapper-consistency @@ -76,6 +76,7 @@ sub unx_wrapper_entries my $target = readlink ($file); die "readlink($file) failed: $!" if !defined ($target); next unless $target =~ /^\.\./; # skip all but .. symlinks + next if $target =~ /ps4pdf/; # has its own .bat, sorry for special case $ret{$ent} = $target; # remember name and link target } |