From f14bb50b76a60253a090797c652a9d29120bf875 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Tue, 17 Dec 2019 22:03:39 -0500 Subject: rts: Ensure that nonmoving gc isn't used with profiling --- docs/users_guide/runtime_control.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs') 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 -- cgit v1.2.1