diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-29 19:50:30 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-29 19:50:30 +0200 |
commit | 6ad1f8f479da97b4cf7eb17b05050593883dde49 (patch) | |
tree | 2c92d77b1abb70bc2c47c41f21bae6835d91adeb /luaotfload-database.lua | |
parent | acb76cca1c0bdedc811d7eeed1b2392b692cdf50 (diff) | |
download | luaotfload-6ad1f8f479da97b4cf7eb17b05050593883dde49.tar.gz |
use unbuffered stdout
Diffstat (limited to 'luaotfload-database.lua')
-rw-r--r-- | luaotfload-database.lua | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua index aba1921..813a471 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -285,8 +285,9 @@ load_names = function (dry_run) 1000*(os.gettimeofday()-starttime)) else report("both", 0, "db", - [[Font names database not found, generating new one. - This can take several minutes; please be patient.]]) + [[Font names database not found, generating new one.]]) + report("both", 0, "db", + [[This can take several minutes; please be patient.]]) data = update_names(fontnames_init(false), nil, dry_run) local success = save_names(data) if not success then |