From a12c76dbfcdf2a4159ba03613ba990a57b9b1ce0 Mon Sep 17 00:00:00 2001 From: Marius Date: Thu, 16 Jun 2011 19:40:11 +0300 Subject: beta 2011.06.16 18:20 --- scripts/context/lua/mtxrun.lua | 9 ++++++++- scripts/context/stubs/mswin/mtxrun.lua | 9 ++++++++- scripts/context/stubs/unix/mtxrun | 9 ++++++++- 3 files changed, 24 insertions(+), 3 deletions(-) (limited to 'scripts') diff --git a/scripts/context/lua/mtxrun.lua b/scripts/context/lua/mtxrun.lua index 6a8b2e99b..2666500ea 100644 --- a/scripts/context/lua/mtxrun.lua +++ b/scripts/context/lua/mtxrun.lua @@ -1271,6 +1271,13 @@ end lpeg.splitat = splitat lpeg.tsplitat = tsplitat +function string.splitup(str,separator) + if not separator then + separator = "," + end + return match(splitters_m[separator] or splitat(separator),str) +end + local cache = { } @@ -14697,7 +14704,7 @@ function runners.prepare() end local touchname = environment.argument("iftouched") if type(touchname) == "string" and touchname ~= "" then - local oldname, newname = string.split(touchname, ",") + local oldname, newname = string.splitup(touchname, ",") if oldname and newname and oldname ~= "" and newname ~= "" then if not file.needs_updating(oldname,newname) then if e_verbose then diff --git a/scripts/context/stubs/mswin/mtxrun.lua b/scripts/context/stubs/mswin/mtxrun.lua index 6a8b2e99b..2666500ea 100644 --- a/scripts/context/stubs/mswin/mtxrun.lua +++ b/scripts/context/stubs/mswin/mtxrun.lua @@ -1271,6 +1271,13 @@ end lpeg.splitat = splitat lpeg.tsplitat = tsplitat +function string.splitup(str,separator) + if not separator then + separator = "," + end + return match(splitters_m[separator] or splitat(separator),str) +end + local cache = { } @@ -14697,7 +14704,7 @@ function runners.prepare() end local touchname = environment.argument("iftouched") if type(touchname) == "string" and touchname ~= "" then - local oldname, newname = string.split(touchname, ",") + local oldname, newname = string.splitup(touchname, ",") if oldname and newname and oldname ~= "" and newname ~= "" then if not file.needs_updating(oldname,newname) then if e_verbose then diff --git a/scripts/context/stubs/unix/mtxrun b/scripts/context/stubs/unix/mtxrun index 6a8b2e99b..2666500ea 100644 --- a/scripts/context/stubs/unix/mtxrun +++ b/scripts/context/stubs/unix/mtxrun @@ -1271,6 +1271,13 @@ end lpeg.splitat = splitat lpeg.tsplitat = tsplitat +function string.splitup(str,separator) + if not separator then + separator = "," + end + return match(splitters_m[separator] or splitat(separator),str) +end + local cache = { } @@ -14697,7 +14704,7 @@ function runners.prepare() end local touchname = environment.argument("iftouched") if type(touchname) == "string" and touchname ~= "" then - local oldname, newname = string.split(touchname, ",") + local oldname, newname = string.splitup(touchname, ",") if oldname and newname and oldname ~= "" and newname ~= "" then if not file.needs_updating(oldname,newname) then if e_verbose then -- cgit v1.2.3