diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2018-11-02 14:24:12 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-11-02 17:13:03 -0400 |
| commit | 5f81952e230fef1f65ae473e09d44101c489c483 (patch) | |
| tree | 67213bfee6bc8a8231745c835553187dae376de2 /docs | |
| parent | 118fca7fe413c3cf986cd07b8694917fde190a3b (diff) | |
| download | haskell-5f81952e230fef1f65ae473e09d44101c489c483.tar.gz | |
rts: Allow output filename of eventlog to be given by command-line
This introduces the `+RTS -ol` flag, which allows user to specify the
destination file for eventlog output.
Test Plan: Validate with included test
Reviewers: simonmar, erikd
Reviewed By: simonmar
Subscribers: rwbarton, carter
Differential Revision: https://phabricator.haskell.org/D5293
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/8.8.1-notes.rst | 2 | ||||
| -rw-r--r-- | docs/users_guide/runtime_control.rst | 7 |
2 files changed, 9 insertions, 0 deletions
diff --git a/docs/users_guide/8.8.1-notes.rst b/docs/users_guide/8.8.1-notes.rst index f1a14c75fe..252db777bc 100644 --- a/docs/users_guide/8.8.1-notes.rst +++ b/docs/users_guide/8.8.1-notes.rst @@ -89,6 +89,8 @@ Runtime system alignment, lower the amount of wasted memory and lower the amount of in use memory. See :ghc-ticket:`13617`. Note that committed memory may be slightly higher. +- The output filename used for :ref:`eventlog output <rts-eventlog>` can now be + specified with the :rts-flag:`-ol` flag. Template Haskell ~~~~~~~~~~~~~~~~ diff --git a/docs/users_guide/runtime_control.rst b/docs/users_guide/runtime_control.rst index 0c38ac5919..7526b06355 100644 --- a/docs/users_guide/runtime_control.rst +++ b/docs/users_guide/runtime_control.rst @@ -1067,6 +1067,13 @@ When the program is linked with the :ghc-flag:`-eventlog` option `ghc-events <http://hackage.haskell.org/package/ghc-events>`__ package. +.. rts-flag:: -ol ⟨filename⟩ + + :default: :file:`<program>.eventlog` + :since: 8.8 + + Sets the destination for the eventlog produced with the :rts-flag:`-l` flag. + .. rts-flag:: -v [⟨flags⟩] Log events as text to standard output, instead of to the |