diff options
| -rwxr-xr-x | scripts/check-queries.lua | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/check-queries.lua b/scripts/check-queries.lua index 083e951ca..c142084de 100755 --- a/scripts/check-queries.lua +++ b/scripts/check-queries.lua @@ -65,8 +65,9 @@ local function do_check() table.insert(timings, { duration = duration, lang = lang, query_type = query_type }) io_print("Checking " .. lang .. " " .. query_type .. string.format(" (%.02fms)", duration * 1e-6)) if not ok then |