diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2014-05-18 08:50:21 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-05-18 08:50:21 +0200 |
commit | d7fc0762b087bcfae22823dc77844db89009a563 (patch) | |
tree | 289c9968c13d16ea195a705db1701b62a4731274 /src/luaotfload-fontloader.lua | |
parent | d435ea827827dcb4494ddff8583e5b15d27625b4 (diff) | |
download | luaotfload-d7fc0762b087bcfae22823dc77844db89009a563.tar.gz |
[fontloader] sync with Context as of 2014-05-18
Diffstat (limited to 'src/luaotfload-fontloader.lua')
-rw-r--r-- | src/luaotfload-fontloader.lua | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/luaotfload-fontloader.lua b/src/luaotfload-fontloader.lua index 51d861a..f7801ea 100644 --- a/src/luaotfload-fontloader.lua +++ b/src/luaotfload-fontloader.lua @@ -1,6 +1,6 @@ -- merged file : luatex-fonts-merged.lua -- parent file : luatex-fonts.lua --- merge date : 05/15/14 19:52:15 +-- merge date : 05/17/14 23:46:22 do -- begin closure to overcome local limits and interference @@ -3460,6 +3460,15 @@ end function table.setmetatableindex(t,f) setmetatable(t,{ __index=f }) end +arguments={} +if arg then + for i=1,#arg do + local k,v=string.match(arg[i],"^%-%-([^=]+)=?(.-)$") + if k and v then + arguments[k]=v + end + end +end end -- closure |