diff options
| -rwxr-xr-x | Master/bin/win32/updmap-sys.texlua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/win32/updmap-sys.texlua b/Master/bin/win32/updmap-sys.texlua index b66ea0c61f6..eb979122009 100755 --- a/Master/bin/win32/updmap-sys.texlua +++ b/Master/bin/win32/updmap-sys.texlua @@ -29,5 +29,5 @@ for i=1, #arg do updmap=updmap .. ' ' .. arg[i] end -os.execute(updmap); +os.exec(updmap); |