diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/texconf.tlu | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/texmf/scripts/texlive/texconf.tlu b/Master/texmf/scripts/texlive/texconf.tlu index 68eb2e20717..ad62a831212 100755 --- a/Master/texmf/scripts/texlive/texconf.tlu +++ b/Master/texmf/scripts/texlive/texconf.tlu @@ -527,8 +527,10 @@ elseif arg[1] == 'dvipdfmx' then end end -command = { "mktexlsr", texmfconfig } -os.spawn(command) +if sys then + command = { "mktexlsr", texmfconfig } + os.spawn(command) +end -- Local Variables: -- lua-indent-level: 2 |