diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2021-06-17 12:36:18 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-06-19 12:25:26 -0400 |
| commit | 1c79ddc8c566a23cf1a77a6a68c65e508fe8ee4d (patch) | |
| tree | b38d7c1df35130ad1c82ec7508aee01f5749d494 /rts/RtsFlags.c | |
| parent | 23bb09c919a56768953a71cbbecf735a4bff608b (diff) | |
| download | haskell-1c79ddc8c566a23cf1a77a6a68c65e508fe8ee4d.tar.gz | |
RTS: Fix flag parsing for --eventlog-flush-interval
Fixes #20006
Diffstat (limited to 'rts/RtsFlags.c')
| -rw-r--r-- | rts/RtsFlags.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 9bf3f692ab..842a461eaa 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -990,8 +990,8 @@ error = true; printRtsInfo(rtsConfig); stg_exit(0); } - else if (strequal("eventlog-flush-interval=", - &rts_argv[arg][2])) { + else if (!strncmp("eventlog-flush-interval=", + &rts_argv[arg][2], 24)) { OPTION_SAFE; double intervalSeconds = parseDouble(rts_argv[arg]+26, &error); if (error) { |