diff options
| -rw-r--r-- | rts/RtsFlags.c | 4 | ||||
| -rw-r--r-- | testsuite/tests/rts/flags/T20006.hs | 4 | ||||
| -rw-r--r-- | testsuite/tests/rts/flags/all.T | 4 |
3 files changed, 10 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) { diff --git a/testsuite/tests/rts/flags/T20006.hs b/testsuite/tests/rts/flags/T20006.hs new file mode 100644 index 0000000000..d82a4bd93b --- /dev/null +++ b/testsuite/tests/rts/flags/T20006.hs @@ -0,0 +1,4 @@ +module Main where + +main :: IO () +main = return () diff --git a/testsuite/tests/rts/flags/all.T b/testsuite/tests/rts/flags/all.T index 6d9368e2c1..04c2907fce 100644 --- a/testsuite/tests/rts/flags/all.T +++ b/testsuite/tests/rts/flags/all.T @@ -51,3 +51,7 @@ test('T12870h', only_ways(['normal'])], multimod_compile_and_run, ['T12870g', '-rtsopts=ignoreAll -with-rtsopts="-G3"']) + +test('T20006', [extra_run_opts('+RTS --eventlog-flush-interval=1')], + compile_and_run, + ['-eventlog']) |