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 /includes/rts | |
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 'includes/rts')
-rw-r--r-- | includes/rts/Flags.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/rts/Flags.h b/includes/rts/Flags.h index 6487947749..63450d5ece 100644 --- a/includes/rts/Flags.h +++ b/includes/rts/Flags.h @@ -170,6 +170,7 @@ typedef struct _TRACE_FLAGS { bool sparks_sampled; /* trace spark events by a sampled method */ bool sparks_full; /* trace spark events 100% accurately */ bool user; /* trace user events (emitted from Haskell code) */ + char *trace_output; /* output filename for eventlog */ } TRACE_FLAGS; /* See Note [Synchronization of flags and base APIs] */ |