diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-09 17:45:50 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-09 17:45:50 +0200 |
| commit | e6b989e65849ea7294500a6e156371696f7cbf52 (patch) | |
| tree | 44db508e9e3e8a78eee012940ca7c1eb8846f40b /luaotfload-tool.lua | |
| parent | dde1b993cfd1aa07f31c0a97b8de8233e18f4fb4 (diff) | |
| download | luaotfload-e6b989e65849ea7294500a6e156371696f7cbf52.tar.gz | |
set higher loglevels for database tracing
Diffstat (limited to 'luaotfload-tool.lua')
| -rwxr-xr-x | luaotfload-tool.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua index 8d7f6f5..0d3b229 100755 --- a/luaotfload-tool.lua +++ b/luaotfload-tool.lua @@ -572,6 +572,7 @@ local process_cmdline = function ( ) -- unit -> jobspec if config.luaotfload.self == "mkluatexfontdb" then action_pending["generate"] = true result.log_level = math.max(2, result.log_level) + logs.set_logout"stdout" end return result end |