diff options
| author | gingerBill <bill@gingerbill.org> | 2021-05-05 11:47:47 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2021-05-05 11:47:47 +0100 |
| commit | 579b317be8d136df7af134b2ad441fe16684fdbb (patch) | |
| tree | b4c23f5c35c2c631ee4850fe0a9ba8ad33cca9c3 /src/main.cpp | |
| parent | 08360e2337ee2b4b581b2e52bcef7566e642c489 (diff) | |
Mark external thread local globals
Diffstat (limited to 'src/main.cpp')
| -rw-r--r-- | src/main.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main.cpp b/src/main.cpp index 756fcc3ac..8f13b28f6 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -2176,6 +2176,9 @@ int main(int arg_count, char const **arg_ptr) { case BuildMode_DynamicLibrary: i32 result = linker_stage(&gen); if (result != 0) { + if (build_context.show_timings) { + show_timings(&checker, timings); + } return 1; } break; |