Skip to content

rts: Disable --eventlog-flush-interval unless compiled with -threaded.

Wen Kokke requested to merge wenkokke/ghc:wenkokke/issue-26222 into master

This MR fixes issue #26222 (closed): Using --eventlog-flush-interval with the non-threaded RTS leads to eventlog corruption.

This MR makes three changes when code is compiled against the non-threaded RTS:

  1. It disables the --eventlog-flush-interval flag.
  2. It disables the documentation for the --eventlog-flush-interval flag.
  3. It disables the relevant state from RtsConfig and code from Timer.

Merge request reports