summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2018-03-26 21:20:51 +0000
committerKarl Berry <karl@freefriends.org>2018-03-26 21:20:51 +0000
commitb122c04cb991adda209f6eb10e8e3f3c31a1f73c (patch)
tree2308140724332f6ca4519edbd6dbcb0115cd526e /Master
parentead783eecd15266cb75f481b8467c9daba5eeda7 (diff)
(check_w32): epspdftk.exe is not the normal wrapper.
git-svn-id: svn://tug.org/texlive/trunk@47138 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-xMaster/tlpkg/bin/check-wrapper-consistency3
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/check-wrapper-consistency b/Master/tlpkg/bin/check-wrapper-consistency
index 2ccafc6558e..c788da18b12 100755
--- a/Master/tlpkg/bin/check-wrapper-consistency
+++ b/Master/tlpkg/bin/check-wrapper-consistency
@@ -93,7 +93,8 @@ sub check_w32 {
next if $is_shell_script{$k}; # skip shell scripts
#
# also skip these special cases:
- next if $k =~ /^(latexindent|texdoctk|tlcockpit|tlmgr|tlshell|xasy)$/;
+ next if $k
+ =~ /^(epspdftk|latexindent|texdoctk|tlcockpit|tlmgr|tlshell|xasy)$/;
#
# else do the diff with the canonical wrapper:
$diff += system ("cmp $w32dir/$k.exe $w32canonical");