From faaa05536f070093802fbdc4f7f62e7bd8439b64 Mon Sep 17 00:00:00 2001 From: gingerBill Date: Mon, 24 Feb 2025 17:42:21 +0000 Subject: [PATCH] Support `-show-timings` for `odin doc` --- src/main.cpp | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/main.cpp b/src/main.cpp index e8336b29268..0a24d64a6cc 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -3593,10 +3593,15 @@ int main(int arg_count, char const **arg_ptr) { } if (build_context.generate_docs) { + MAIN_TIME_SECTION("generate documentation"); if (global_error_collector.count != 0) { return 1; } generate_documentation(checker); + + if (build_context.show_timings) { + show_timings(checker, &global_timings); + } return 0; }