diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-07-19 14:15:15 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-07-19 14:15:15 +0200 |
| commit | bc9469bd5d51458cde6d2d6b3c46f3593dc04ea0 (patch) | |
| tree | 30585d5f661598dbff6b7f917bc2e49466b0b951 | |
| parent | b2235e724443f86716694f4e45df9f1261873069 (diff) | |
| download | luaotfload-bc9469bd5d51458cde6d2d6b3c46f3593dc04ea0.tar.gz | |
indicate forced db update on terminal
| -rw-r--r-- | luaotfload-database.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua index 0997a46..70a49ff 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -363,11 +363,11 @@ load_names = function (dry_run) local db_version, nms_version = data.version, names.version if db_version ~= nms_version then - report("log", 0, "db", + report("both", 0, "db", [[Version mismatch; expected %4.3f, got %4.3f]], nms_version, db_version) if not fonts_reloaded then - report("log", 0, "db", [[force rebuild]]) + report("both", 0, "db", [[Force rebuild]]) return update_names({ }, true, false) end end |