summaryrefslogtreecommitdiff
path: root/Master/bin/x86_64-linux
diff options
context:
space:
mode:
authorTaco Hoekwater <taco@elvenkind.com>2011-06-06 11:20:16 +0000
committerTaco Hoekwater <taco@elvenkind.com>2011-06-06 11:20:16 +0000
commit857ffc408ecbcbebfd4ace2a444e618e324a4d61 (patch)
tree5b8acdaaec9aec68bdf8f4c49d474edae6452c52 /Master/bin/x86_64-linux
parente667c797cbec2ada963b25777d871e1ddcaa546e (diff)
A fix for filepaths with spaces in context mkii (possibly partial)
git-svn-id: svn://tug.org/texlive/trunk@22820 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/x86_64-linux')
-rwxr-xr-xMaster/bin/x86_64-linux/mtxrun6
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/bin/x86_64-linux/mtxrun b/Master/bin/x86_64-linux/mtxrun
index 5ca97db588e..f0b07dddd4b 100755
--- a/Master/bin/x86_64-linux/mtxrun
+++ b/Master/bin/x86_64-linux/mtxrun
@@ -14532,11 +14532,13 @@ function runners.execute_script(fullname,internal,nosplit)
environment.ownscript = result
dofile(result)
else
+ local quotedresult = result
+ if string.match(result,' ') and not string.match(result,"^\".*\"$") then quotedresult = '"' .. result .. '"' end
local binary = runners.applications[file.extname(result)]
if binary and binary ~= "" then
- result = binary .. " " .. result
+ quotedresult = binary .. " " .. quotedresult
end
- local command = result .. " " .. environment.reconstructcommandline(environment.arguments_after,noquote)
+ local command = quotedresult .. " " .. environment.reconstructcommandline(environment.arguments_after,noquote)
if e_verbose then
report()
report("executing: %s",command)