diff options
Diffstat (limited to 'scripts/context/stubs/unix/mtxrun')
-rwxr-xr-x | scripts/context/stubs/unix/mtxrun | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/context/stubs/unix/mtxrun b/scripts/context/stubs/unix/mtxrun index bb16aaec0..a80e4c730 100755 --- a/scripts/context/stubs/unix/mtxrun +++ b/scripts/context/stubs/unix/mtxrun @@ -13906,6 +13906,7 @@ function runners.execute_program(fullname) return true elseif state == "run" then local before, after = environment.splitarguments(fullname) + for k=1,#after do after[k] = resolvers.resolve(after[k]) end environment.initializearguments(after) fullname = fullname:gsub("^bin:","") local command = fullname .. " " .. (environment.reconstructcommandline(after or "",noquote) or "") |