diff options
| author | Austin Seipp <austin@well-typed.com> | 2014-02-20 06:41:02 -0600 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2014-02-20 07:15:58 -0600 |
| commit | c72e8898447b2a8e55f2d16594b5944c2ae13e24 (patch) | |
| tree | 3407929fd25aaad0fea8ba8ec9034ada21575629 /.gitignore | |
| parent | 5a576754d745171422d13cd1dba69dd874714cf1 (diff) | |
| download | haskell-c72e8898447b2a8e55f2d16594b5944c2ae13e24.tar.gz | |
Fix #8754 again.
This time, we carefully initialize the GC stats only if they're not
already initialized - this way the user can override them (e.g. `+RTS -t
--machine-readable`).
Signed-off-by: Austin Seipp <austin@well-typed.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions