diff options
Diffstat (limited to 'Master/tlpkg/bin/check-wrapper-consistency')
| -rwxr-xr-x | Master/tlpkg/bin/check-wrapper-consistency | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Master/tlpkg/bin/check-wrapper-consistency b/Master/tlpkg/bin/check-wrapper-consistency index caf1cd92f13..452c8622da0 100755 --- a/Master/tlpkg/bin/check-wrapper-consistency +++ b/Master/tlpkg/bin/check-wrapper-consistency @@ -46,10 +46,6 @@ sub main $cww = "$srcdir/tl-w32-starter.bat"; $err += &check_w32 ("win32", $cww, %w); - # one more, the wrapper itself. - $err += system ("cmp win32/tl-w32-wrapper.texlua" - . " $srcdir/tl-w32-wrapper.texlua"); - return $err; } |