diff options
author | Ben Gamari <ben@smart-cactus.org> | 2022-04-21 14:42:19 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-04-27 10:06:07 -0400 |
commit | 318e0005b5a3a522854ced7162f3eee95f964bd9 (patch) | |
tree | d9c2da0af34ece5b288d42c601182598ecb6780d /rts/StgStdThunks.cmm | |
parent | 23aad124ff76ad4bb2ba697d4d1e306e7cc595ac (diff) | |
download | haskell-318e0005b5a3a522854ced7162f3eee95f964bd9.tar.gz |
rts/eventlog: Don't attempt to flush if there is no writer
If the user has not configured a writer then there is nothing to flush.
Diffstat (limited to 'rts/StgStdThunks.cmm')
0 files changed, 0 insertions, 0 deletions