diff options
Diffstat (limited to 'Master/bin/win32/generate-updmap.texlua')
-rwxr-xr-x | Master/bin/win32/generate-updmap.texlua | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Master/bin/win32/generate-updmap.texlua b/Master/bin/win32/generate-updmap.texlua index a6c8831e51f..b11dfb723d9 100755 --- a/Master/bin/win32/generate-updmap.texlua +++ b/Master/bin/win32/generate-updmap.texlua @@ -38,7 +38,11 @@ if (not(script)) then os.exit(1) end -command={'"'..perlbin..'"', '"'..script..'"'} +if (os.type == "windows") then + command={'"'..perlbin..'"', '"'..script..'"'} +else + command={ perlbin, script } +end command[0] = perlbin for i=1, #arg do |