diff options
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) { |