diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-12-17 22:03:39 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-12-30 06:52:09 -0500 |
commit | f14bb50b76a60253a090797c652a9d29120bf875 (patch) | |
tree | ccdf6733f3cb6d0574792017656b1d40a35ba028 /docs | |
parent | 2528e6847d6ab11b452998e5511d60b26453f022 (diff) | |
download | haskell-f14bb50b76a60253a090797c652a9d29120bf875.tar.gz |
rts: Ensure that nonmoving gc isn't used with profiling
Diffstat (limited to 'docs')
-rw-r--r-- | docs/users_guide/runtime_control.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/runtime_control.rst b/docs/users_guide/runtime_control.rst index 2fb1917d2c..738d981a18 100644 --- a/docs/users_guide/runtime_control.rst +++ b/docs/users_guide/runtime_control.rst @@ -372,8 +372,8 @@ performance. collections. Under this collection strategy oldest-generation garbage collection can proceed concurrently with mutation. - Note that :rts-flag:`--nonmoving-gc` cannot be used with ``-G1`` nor - :rts-flag:`-c`. + Note that :rts-flag:`-nonmoving-gc` cannot be used with ``-G1``, + :rts-flag:`profiling <-hc>` nor :rts-flag:`-c`. .. rts-flag:: -xn |