diff options
| author | ruki <[email protected]> | 2023-02-01 23:14:57 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2023-02-01 23:14:57 +0800 |
| commit | 8658eae245dafc3b539c6b4280455773caa0ef8a (patch) | |
| tree | 85ca743be696cffc4d098dffd9cfb758f5094fc3 /xmake/plugins/check/main.lua | |
| parent | 87cceb8898b238fa0391ac5ee7085555a408d842 (diff) | |
stats results
Diffstat (limited to 'xmake/plugins/check/main.lua')
| -rw-r--r-- | xmake/plugins/check/main.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/xmake/plugins/check/main.lua b/xmake/plugins/check/main.lua index da57e437d..dd190624d 100644 --- a/xmake/plugins/check/main.lua +++ b/xmake/plugins/check/main.lua @@ -77,6 +77,7 @@ function _check(group_or_name, arguments) for _, name in ipairs(checked_checkers) do import("checkers." .. name, {anonymous = true})(arguments) end + checker.show_stats() end function main() |