diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-23 12:03:11 +0200 | 
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-23 12:03:11 +0200 | 
| commit | bfa92be482aad95aaad0ea9fc6400c95d40a059a (patch) | |
| tree | 2eac16c7d7b7931f3c465ae64e6599bf82697c1a | |
| parent | 6c1bb8b5c6de06598e28af43dd16e21b1741e56b (diff) | |
| download | luaotfload-bfa92be482aad95aaad0ea9fc6400c95d40a059a.tar.gz | |
sync with Context as of 2013-05-23
| -rw-r--r-- | luaotfload-merged.lua | 16 | 
1 files changed, 5 insertions, 11 deletions
| diff --git a/luaotfload-merged.lua b/luaotfload-merged.lua index 310febe..5789db6 100644 --- a/luaotfload-merged.lua +++ b/luaotfload-merged.lua @@ -1,6 +1,6 @@  -- merged file : luatex-fonts-merged.lua  -- parent file : luatex-fonts.lua --- merge date  : 05/21/13 16:14:48 +-- merge date  : 05/22/13 19:28:51  do -- begin closure to overcome local limits and interference @@ -2310,16 +2310,10 @@ function file.strip(name,dir)    end  end  function lfs.mkdirs(path) -  local full -  for sub in gmatch(path,"([^\\/]+)") do -    if full then -      full=full.."/"..sub -    else -      full=sub -    end -    if not lfs.isdir(full) then -      lfs.mkdir(full) -    end +  local full="" +  for sub in gmatch(path,"(/*[^\\/]+)") do  +    full=full..sub +    lfs.mkdir(full)    end  end | 
