diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/context/lua/mtxrun.lua | 6 | ||||
| -rw-r--r-- | scripts/context/stubs/mswin/mtxrun.lua | 6 | ||||
| -rwxr-xr-x | scripts/context/stubs/unix/mtxrun | 6 |
3 files changed, 12 insertions, 6 deletions
diff --git a/scripts/context/lua/mtxrun.lua b/scripts/context/lua/mtxrun.lua index b7790d42a..d07dfc9a7 100644 --- a/scripts/context/lua/mtxrun.lua +++ b/scripts/context/lua/mtxrun.lua @@ -17407,6 +17407,8 @@ if os.type ~= "windows" then texio.write("\n") -- is this still valid? end -if ok == false then ok = 1 elseif ok == true then ok = 0 end +if ok == false then ok = 1 elseif ok == true or ok == nil then ok = 0 end -os.exit(ok,true) -- true forces a cleanup in 5.2+ +-- os.exit(ok,true) -- true forces a cleanup in 5.2+ + +os.exit(ok) -- true forces a cleanup in 5.2+ but reports a wrong number then diff --git a/scripts/context/stubs/mswin/mtxrun.lua b/scripts/context/stubs/mswin/mtxrun.lua index b7790d42a..d07dfc9a7 100644 --- a/scripts/context/stubs/mswin/mtxrun.lua +++ b/scripts/context/stubs/mswin/mtxrun.lua @@ -17407,6 +17407,8 @@ if os.type ~= "windows" then texio.write("\n") -- is this still valid? end -if ok == false then ok = 1 elseif ok == true then ok = 0 end +if ok == false then ok = 1 elseif ok == true or ok == nil then ok = 0 end -os.exit(ok,true) -- true forces a cleanup in 5.2+ +-- os.exit(ok,true) -- true forces a cleanup in 5.2+ + +os.exit(ok) -- true forces a cleanup in 5.2+ but reports a wrong number then diff --git a/scripts/context/stubs/unix/mtxrun b/scripts/context/stubs/unix/mtxrun index b7790d42a..d07dfc9a7 100755 --- a/scripts/context/stubs/unix/mtxrun +++ b/scripts/context/stubs/unix/mtxrun @@ -17407,6 +17407,8 @@ if os.type ~= "windows" then texio.write("\n") -- is this still valid? end -if ok == false then ok = 1 elseif ok == true then ok = 0 end +if ok == false then ok = 1 elseif ok == true or ok == nil then ok = 0 end -os.exit(ok,true) -- true forces a cleanup in 5.2+ +-- os.exit(ok,true) -- true forces a cleanup in 5.2+ + +os.exit(ok) -- true forces a cleanup in 5.2+ but reports a wrong number then |