diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2022-04-21 14:42:19 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2022-04-23 21:51:49 -0400 |
| commit | 22ff0787c04a24072ade75ce0675c1c7b7c2db4f (patch) | |
| tree | 491ca91c2c293b7a3ad7ae93b65cd83d7e743bda /rts/include/rts/Config.h | |
| parent | 2c541f99f5a83cee873b76b3bd46e4d617f5bcd7 (diff) | |
| download | haskell-22ff0787c04a24072ade75ce0675c1c7b7c2db4f.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/include/rts/Config.h')
0 files changed, 0 insertions, 0 deletions