diff options
Diffstat (limited to 'Master/bin/x86_64-linux/mtxrun')
| -rwxr-xr-x | Master/bin/x86_64-linux/mtxrun | 6 |
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) |