diff options
Diffstat (limited to 'Master/bin/i386-linux/generate-fmtutil')
-rwxr-xr-x | Master/bin/i386-linux/generate-fmtutil | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/Master/bin/i386-linux/generate-fmtutil b/Master/bin/i386-linux/generate-fmtutil index 1089cd2d921..85bd03814ff 100755 --- a/Master/bin/i386-linux/generate-fmtutil +++ b/Master/bin/i386-linux/generate-fmtutil @@ -25,13 +25,10 @@ kpse.set_program_name(basename) TEXDIR=kpse.var_value("SELFAUTOPARENT") -- if we are on win32 we have to use the shipped perl -ostype = os.getenv("OS") perlbin="perl" -if (ostype) then - if string.find(ostype, "Windows") then - os.setenv("PERL5LIB", TEXDIR.."/tlpkg/tlperl/lib") - perlbin=TEXDIR.."/tlpkg/tlperl/bin/perl.exe" - end +if (os.type == "windows") then + os.setenv("PERL5LIB", TEXDIR.."/tlpkg/tlperl/lib") + perlbin=TEXDIR.."/tlpkg/tlperl/bin/perl.exe" end script=kpse.find_file(basename..".pl", "texmfscripts") |