diff options
Diffstat (limited to 'rts/RtsFlags.c')
| -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 9bf3f692ab..27fc51571d 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 "", |