diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-03 17:08:36 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-03 17:08:36 +0100 |
commit | 8cf52eed353886fcd078d0e3dc59d76c51445ed0 (patch) | |
tree | b64b8c0058eae356525757cbe2745626a3d13b39 /luaotfload-override.lua | |
parent | d1e0649cae217b9c086bc6a14652cd70deccfb6e (diff) | |
download | luaotfload-8cf52eed353886fcd078d0e3dc59d76c51445ed0.tar.gz |
[db] reduce noise of status logging
Diffstat (limited to 'luaotfload-override.lua')
-rw-r--r-- | luaotfload-override.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/luaotfload-override.lua b/luaotfload-override.lua index 21fc0bb..030d162 100644 --- a/luaotfload-override.lua +++ b/luaotfload-override.lua @@ -170,6 +170,7 @@ io.stderr:setvbuf "no" local kill_line = "\r\x1b[K" if texjob == true then + --- We imitate the texio.* functions so the output is consistent. writeln = function (str) iowrite "\n" iowrite(str) |