diff options
Diffstat (limited to 'Build/source/texk/texlive/generate-fmtutil')
-rwxr-xr-x | Build/source/texk/texlive/generate-fmtutil | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Build/source/texk/texlive/generate-fmtutil b/Build/source/texk/texlive/generate-fmtutil index f871b3f71d5..9aeaf6917f0 100755 --- a/Build/source/texk/texlive/generate-fmtutil +++ b/Build/source/texk/texlive/generate-fmtutil @@ -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 |