diff options
| author | Hans Hagen <pragma@wxs.nl> | 2011-06-16 18:20:00 +0200 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2011-06-16 18:20:00 +0200 |
| commit | 6a36a76d35fcc0f4fea1f492e0c31d57e126a014 (patch) | |
| tree | 30d90db96322f644b428c28e2651b635550697bc /scripts | |
| parent | c768d04a83193229af281526797c8fc4e64d589f (diff) | |
| download | context-6a36a76d35fcc0f4fea1f492e0c31d57e126a014.tar.gz | |
beta 2011.06.16 18:20
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/context/lua/mtxrun.lua | 9 | ||||
| -rw-r--r-- | scripts/context/stubs/mswin/mtxrun.lua | 9 | ||||
| -rwxr-xr-x | scripts/context/stubs/unix/mtxrun | 9 |
3 files changed, 24 insertions, 3 deletions
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 100755 --- 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 |