diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-10-24 19:51:15 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-11-01 12:58:36 -0500 |
commit | 5c2e6bced838b7d7617af2bfb272889a9af16a76 (patch) | |
tree | 919af25048be5c7c42a31bb33d0a932db52036e3 /rts/Stats.h | |
parent | b1dda15324bf08dcd6265e066577c18d4f3f061d (diff) | |
download | haskell-5c2e6bced838b7d7617af2bfb272889a9af16a76.tar.gz |
rts: Tear down stats_mutex after exitHeapProfilingwip/tsan/stats
Since the latter wants to call getRTSStats.
Diffstat (limited to 'rts/Stats.h')
-rw-r--r-- | rts/Stats.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index 103564a82a..9d62acef37 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -58,6 +58,7 @@ void stat_endHeapCensus(void); void stat_startExit(void); void stat_endExit(void); +void stat_exitReport(void); void stat_exit(void); void stat_workerStop(void); |