diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-03 15:47:56 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-03 15:47:56 +0100 |
| commit | a18a6adc30dfd5a235017772b8b290c6cee71dca (patch) | |
| tree | 201f6dc43971d87ab721b1cd9e0eb2f4a93e53d3 /luaotfload-tool.lua | |
| parent | d644064076b183366f2ed688e1c7d33987d844f2 (diff) | |
| download | luaotfload-a18a6adc30dfd5a235017772b8b290c6cee71dca.tar.gz | |
[db,log] add low-noise terminal logging
Diffstat (limited to 'luaotfload-tool.lua')
| -rwxr-xr-x | luaotfload-tool.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua index c4670e8..eace7f6 100755 --- a/luaotfload-tool.lua +++ b/luaotfload-tool.lua @@ -1102,7 +1102,7 @@ local process_cmdline = function ( ) -- unit -> jobspec if result.log_level > 0 then result.log_level = result.log_level + 1 else - result.log_level = 2 + result.log_level = 1 end elseif v == "V" then action_pending["version"] = true |