diff options
-rwxr-xr-x | Master/bin/windows/mtxrun.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/bin/windows/mtxrun.lua b/Master/bin/windows/mtxrun.lua index 306f84a1ca6..cd83189a40f 100755 --- a/Master/bin/windows/mtxrun.lua +++ b/Master/bin/windows/mtxrun.lua @@ -25857,7 +25857,7 @@ local function secondaryflags(arguments) end return concat(flags," ") end -local template=[[--ini %primaryflags% --lua=%luafile% %texfile% %secondaryflags% %redirect%]] +local template=[[--ini %primaryflags% --socket --shell-escape --lua=%luafile% %texfile% %secondaryflags% %redirect%]] local checkers={ primaryflags="verbose", secondaryflags="verbose", @@ -25992,7 +25992,7 @@ function environment.make_format(formatname) report_format() lfs.chdir(startupdir) end -local template=[[%primaryflags% --fmt=%fmtfile% --lua=%luafile% %texfile% %secondaryflags%]] +local template=[[%primaryflags% --socket --shell-escape --fmt=%fmtfile% --lua=%luafile% %texfile% %secondaryflags%]] local checkers={ primaryflags="verbose", secondaryflags="verbose", |