diff options
Diffstat (limited to 'build2')
| -rw-r--r-- | build2/b.cxx | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/build2/b.cxx b/build2/b.cxx index e615ef5..b14da09 100644 --- a/build2/b.cxx +++ b/build2/b.cxx @@ -423,7 +423,8 @@ main (int argc, char* argv[]) { if (pctx != nullptr) { - phase_switch_contention += pctx->phase_mutex.contention; + phase_switch_contention += (pctx->phase_mutex.contention + + pctx->phase_mutex.contention_load); pctx = nullptr; // Free first to reuse memory. } @@ -1402,7 +1403,8 @@ main (int argc, char* argv[]) } #endif - phase_switch_contention += pctx->phase_mutex.contention; + phase_switch_contention += (pctx->phase_mutex.contention + + pctx->phase_mutex.contention_load); } catch (const failed&) { |