diff options
| -rwxr-xr-x | Build/source/texk/texlive/tl-w32-wrapper.texlua | 1 | ||||
| -rwxr-xr-x | Master/bin/win32/tl-w32-wrapper.texlua | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/texlive/tl-w32-wrapper.texlua b/Build/source/texk/texlive/tl-w32-wrapper.texlua index 03ce75a91c3..93166f6514c 100755 --- a/Build/source/texk/texlive/tl-w32-wrapper.texlua +++ b/Build/source/texk/texlive/tl-w32-wrapper.texlua @@ -73,6 +73,7 @@ elseif kpse.find_file(basename..'.tlu', 'texmfscripts') then else io.stderr:write(basename..'.bat: '..basename.. ': No appropriate script found.\n') + os.exit(1) end for i=2, #arg do diff --git a/Master/bin/win32/tl-w32-wrapper.texlua b/Master/bin/win32/tl-w32-wrapper.texlua index 1a010ff1b07..a48f5256744 100755 --- a/Master/bin/win32/tl-w32-wrapper.texlua +++ b/Master/bin/win32/tl-w32-wrapper.texlua @@ -73,6 +73,7 @@ elseif kpse.find_file(basename..'.tlu', 'texmfscripts') then else io.stderr:write(basename..'.bat: '..basename.. ': No appropriate script found.\n') + os.exit(1) end for i=2, #arg do |