diff options
| author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2018-05-09 04:06:37 +0000 |
|---|---|---|
| committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2018-05-09 04:06:37 +0000 |
| commit | 01ae2bfa51cad7f864a5feaa241f48f57be565fd (patch) | |
| tree | db6023e6dcd02410afa9b236ba65ebb82ce75d3b /Build/source | |
| parent | 11f1b2878b7a07e69d5a0928145aae5c1779cede (diff) | |
sync
git-svn-id: svn://tug.org/texlive/trunk@47645 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
| -rwxr-xr-x | Build/source/texk/texlive/w32_wrapper/runscript.tlu | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Build/source/texk/texlive/w32_wrapper/runscript.tlu b/Build/source/texk/texlive/w32_wrapper/runscript.tlu index 6a99504d34e..875acbaa17f 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: 47582 $", "%d+") or "0" -local svndate = string.match("$Date: 2018-05-03 17:19:14 +0900 (木, 03 5 2018) $", "[-%d]+") or "2009-12-04" +local svnrevision = string.match("$Revision: 47644 $", "%d+") or "0" +local svndate = string.match("$Date: 2018-05-09 13:00:39 +0900 (水, 09 5 2018) $", "[-%d]+") or "2009-12-04" local bannerstr = "runscript wrapper utility (rev. " .. svnrevision .. ", " .. svndate .. ")\n" .. "usage: runscript script-name [arguments]\n" .. @@ -455,6 +455,10 @@ end local function MAIN_CHUNK() +-- set locale LC_CTYPE as the system default +-- http://tug.org/pipermail/tex-live/2018-May/041628.html +os.setlocale("", "ctype") + -- preprocess arguments local guimode = false |