diff options
| author | Marius <mariausol@gmail.com> | 2011-06-16 19:40:11 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2011-06-16 19:40:11 +0300 |
| commit | a12c76dbfcdf2a4159ba03613ba990a57b9b1ce0 (patch) | |
| tree | f8ee3d62b66d8a5fd8c9c598e477fce435e1cf43 /scripts/context/stubs | |
| parent | f7430075a5d36ba3731ab77b157f6df498ef17e8 (diff) | |
| download | context-a12c76dbfcdf2a4159ba03613ba990a57b9b1ce0.tar.gz | |
beta 2011.06.16 18:20
Diffstat (limited to 'scripts/context/stubs')
| -rw-r--r-- | scripts/context/stubs/mswin/mtxrun.lua | 9 | ||||
| -rw-r--r-- | scripts/context/stubs/unix/mtxrun | 9 |
2 files changed, 16 insertions, 2 deletions
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 |