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 |