diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2014-03-23 21:58:16 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-03-23 21:58:16 +0100 |
commit | 82a06a10cef0ab4ee3fbe8c83facb1b017fbf6ef (patch) | |
tree | 2caba8a04cab51fbe81f311dc31f749c9c9ac423 /src/luaotfload-tool.lua | |
parent | 2d7567b653cabaa0d259996a47227cefa9b54563 (diff) | |
download | luaotfload-82a06a10cef0ab4ee3fbe8c83facb1b017fbf6ef.tar.gz |
[db,tool] display list of remaining files if less than ten
Diffstat (limited to 'src/luaotfload-tool.lua')
-rwxr-xr-x | src/luaotfload-tool.lua | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/luaotfload-tool.lua b/src/luaotfload-tool.lua index 2301636..60d2c2c 100755 --- a/src/luaotfload-tool.lua +++ b/src/luaotfload-tool.lua @@ -906,6 +906,21 @@ end --[[doc-- + list_remainder -- Show remaining fonts in bisect slice. + +--doc]]-- + +local list_remainder = function (lo, hi) + local fonts = names.font_slice (lo, hi) + report ("info", 0, "bisect", "%d fonts left.", hi - lo) + for i = 1, #fonts do + report ("info", 1, "bisect", " ยท %2d: %s", lo, fonts[i]) + lo = lo + 1 + end +end + +--[[doc-- + bisect_set -- Prepare the next bisection step by setting high, low, and pivot to new values. @@ -950,6 +965,9 @@ local bisect_set = function (outcome) status[nsteps + 1] = { lo, hi, pivot } write_bisect_status (status) + if hi - lo <= 10 then + list_remainder (lo, hi) + end return true, false end |