diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2014-02-05 19:06:21 +0100 | 
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-02-05 19:06:21 +0100 | 
| commit | 1f460397406ef41ae87ea171273c412a6acc21cf (patch) | |
| tree | 72b440686d835016c51a350f87450eb48b623999 | |
| parent | cd7f95462e286b9e575a96a004f8f931a56f446c (diff) | |
| download | luaotfload-1f460397406ef41ae87ea171273c412a6acc21cf.tar.gz | |
[tool] bury dead code
| -rwxr-xr-x | luaotfload-tool.lua | 13 | 
1 files changed, 1 insertions, 12 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua index ec0611d..8bc590a 100755 --- a/luaotfload-tool.lua +++ b/luaotfload-tool.lua @@ -104,18 +104,7 @@ if not luaotfloadconfig.strip then      luaotfloadconfig.strip = true  end -do -- we don’t have file.basename and the likes yet, so inline parser ftw -    local slash        = P"/" -    local dot          = P"." -    local noslash      = 1 - slash -    local slashes      = slash^1 -    local path         =  slashes^-1 * (noslash^1 * slashes)^1 -    local thename      = (1 - slash - dot)^1 -    local extension    = dot * (1 - slash - dot)^1 -    local p_basename   = path^-1 * C(thename) * extension^-1 * P(-1) - -    luaotfloadconfig.self = "luaotfload-tool" -end +luaotfloadconfig.self           = "luaotfload-tool"  config.lualibs                  = config.lualibs or { }  config.lualibs.verbose          = false  | 
