diff options
Diffstat (limited to 'rts/RtsStartup.c')
-rw-r--r-- | rts/RtsStartup.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rts/RtsStartup.c b/rts/RtsStartup.c index a202d53960..ce0fa2d519 100644 --- a/rts/RtsStartup.c +++ b/rts/RtsStartup.c @@ -436,6 +436,9 @@ hs_exit_(bool wait_foreign) /* shutdown the hpc support (if needed) */ exitHpc(); + /* wait for any on-going concurrent GC to finish */ + nonmovingExit(); + // clean up things from the storage manager's point of view. // also outputs the stats (+RTS -s) info. exitStorage(); |