From e83bdce6f53216620ae959fd55ba7025569d7e44 Mon Sep 17 00:00:00 2001
From: Philipp Gesang <phg42.2a@gmail.com>
Date: Tue, 5 Nov 2013 20:07:34 +0100
Subject: [tool] add --no-strip option

---
 luaotfload-tool.lua | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'luaotfload-tool.lua')

diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua
index 3bae175..f7ac215 100755
--- a/luaotfload-tool.lua
+++ b/luaotfload-tool.lua
@@ -112,6 +112,9 @@ luaotfloadconfig.index_file   = luaotfloadconfig.index_file
 luaotfloadconfig.formats      = luaotfloadconfig.formats
                              or "otf,ttf,ttc,dfont"
 luaotfloadconfig.reload       = false
+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"/"
@@ -214,6 +217,7 @@ This tool is part of the luaotfload package. Valid options are:
 
   -u --update                  update the database
   -n --no-reload               suppress db update
+  --no-strip                   keep redundant information in db
   -f --force                   force re-indexing all fonts
   -c --compress                gzip index file (text version only)
   -l --flush-lookups           empty lookup cache of font requests
@@ -1109,6 +1113,7 @@ local process_cmdline = function ( ) -- unit -> jobspec
         list               = 1,
         log                = 1,
         ["no-reload"]      = "n",
+        ["no-strip"]       = 0,
         ["skip-read"]      = "R",
         ["prefer-texmf"]   = "p",
         quiet              = "q",
@@ -1208,6 +1213,8 @@ local process_cmdline = function ( ) -- unit -> jobspec
             luaotfloadconfig.skip_read = true
         elseif v == "c" then
             luaotfloadconfig.compress = true
+        elseif v == "no-strip" then
+            luaotfloadconfig.strip = false
         end
     end
 
-- 
cgit v1.2.3