diff options
Diffstat (limited to 'scripts/context/stubs/unix')
-rwxr-xr-x | scripts/context/stubs/unix/mtxrun | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/context/stubs/unix/mtxrun b/scripts/context/stubs/unix/mtxrun index 26f5c4c2a..6425d7060 100755 --- a/scripts/context/stubs/unix/mtxrun +++ b/scripts/context/stubs/unix/mtxrun @@ -10786,7 +10786,7 @@ function runners.execute_script(fullname,internal) logs.simpleline() io.flush() end - local code = os.exec(command) -- maybe spawn + local code = os.exec(command) -- maybe spawn return code == 0 end end |