diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2021-06-16 12:27:34 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-06-22 02:34:13 -0400 |
| commit | 595dfbb02fc8c15126140886150c99206d57906c (patch) | |
| tree | 14e9cfaaeda1c5239f16aa3853921e8dccbab1b0 | |
| parent | 14956cb89d8548e531c99821ad504b4f35b5509a (diff) | |
| download | haskell-595dfbb02fc8c15126140886150c99206d57906c.tar.gz | |
rts: Document --eventlog-flush-interval in RtsFlags
Fixes #19995
| -rw-r--r-- | rts/RtsFlags.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 842a461eaa..149a2859ff 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -427,6 +427,7 @@ usage_text[] = { # endif " -x disable an event class, for any flag above", " the initial enabled event classes are 'sgpu'", +" --eventlog-flush-interval=<secs> Flush the eventlog at the specified interval.", #endif "", |