summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2008-05-13 20:13:02 +0000
committerNorbert Preining <preining@logic.at>2008-05-13 20:13:02 +0000
commit0bb14294123cfedb8ff0a7515d4cc4a2ba70e2a9 (patch)
tree1e3a86c75d38ae960cff14c1d3f755b010c9a4cb
parent8c5363d3005c702881edbd7068d4ab68d09784ec (diff)
tl-w32-wrapper.texlua: die if the script cannot be found
git-svn-id: svn://tug.org/texlive/trunk@8114 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xBuild/source/texk/texlive/tl-w32-wrapper.texlua1
-rwxr-xr-xMaster/bin/win32/tl-w32-wrapper.texlua1
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