diff options
Diffstat (limited to 'src/buildtool/main/main.cpp')
| -rw-r--r-- | src/buildtool/main/main.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/buildtool/main/main.cpp b/src/buildtool/main/main.cpp index 3da6de93..c1b8bcdf 100644 --- a/src/buildtool/main/main.cpp +++ b/src/buildtool/main/main.cpp @@ -1255,6 +1255,9 @@ auto main(int argc, char* argv[]) -> int { std::move(trees), std::move(tree_overlays), std::move(cache_artifacts)); + if (profile != nullptr) { + profile->StopBuild(); + } dump_and_cleanup_thread.join(); if (build_result) { WriteTargetCacheEntries( |