diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2018-04-08 23:13:09 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2018-04-08 23:13:09 +0000 |
commit | 542db092fc7db2ac9ccd54e9b1206ddd1bebb677 (patch) | |
tree | 4b1a2fe782e3fc9e20655681f20e88f6fa635bcf /Build | |
parent | 160f62f70cb3435bfda7e5c1fb0ab6d7e69dd5b5 (diff) |
sync
git-svn-id: svn://tug.org/texlive/trunk@47390 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/source/texk/texlive/w32_wrapper/runscript.tlu | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Build/source/texk/texlive/w32_wrapper/runscript.tlu b/Build/source/texk/texlive/w32_wrapper/runscript.tlu index aa195033f13..a859b09a946 100755 --- a/Build/source/texk/texlive/w32_wrapper/runscript.tlu +++ b/Build/source/texk/texlive/w32_wrapper/runscript.tlu @@ -1,7 +1,7 @@ -local svnrevision = string.match("$Revision: 47327 $", "%d+") or "0" -local svndate = string.match("$Date: 2018-04-07 06:07:13 +0900 (土, 07 4 2018) $", "[-%d]+") or "2009-12-04" +local svnrevision = string.match("$Revision: 47389 $", "%d+") or "0" +local svndate = string.match("$Date: 2018-04-09 08:11:53 +0900 (月, 09 4 2018) $", "[-%d]+") or "2009-12-04" local bannerstr = "runscript wrapper utility (rev. " .. svnrevision .. ", " .. svndate .. ")\n" .. "usage: runscript script-name [arguments]\n" .. @@ -693,6 +693,9 @@ elseif contains(sys_user_progs, progname) then elseif userprog then argline = ' --user ' .. argline end + -- do not guess input encoding in format creation for ptex + -- and friends since guessing is not complete + os.setenv('GUESS_INPUT_KANJI_ENCODING', '0') elseif progname == 'asy' then os.setenv('ASYMPTOTE_GS', GSEXE) os.setenv('CYGWIN', 'nodosfilewarning') |