mirrors/Odin
1
0
Fork 0
mirror of https://github.com/odin-lang/Odin.git synced 2026-01-03 11:42:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Support -show-timings for odin doc

Browse Source
This commit is contained in:
gingerBill
2025-02-24 17:42:21 +00:00
parent d0d5cf800e
commit faaa05536f
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/main.cpp
View File

@@ -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;
}