From 1f460397406ef41ae87ea171273c412a6acc21cf Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Wed, 5 Feb 2014 19:06:21 +0100 Subject: [tool] bury dead code --- luaotfload-tool.lua | 13 +------------ 1 file changed, 1 insertion(+), 12 deletions(-) (limited to 'luaotfload-tool.lua') 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 -- cgit v1.2.3