diff options
-rw-r--r-- | docs/users_guide/runtime_control.rst | 2 | ||||
-rw-r--r-- | rts/RtsFlags.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/runtime_control.rst b/docs/users_guide/runtime_control.rst index 2cfd22e664..522aa72ce7 100644 --- a/docs/users_guide/runtime_control.rst +++ b/docs/users_guide/runtime_control.rst @@ -1332,7 +1332,7 @@ recommended for everyday use! .. rts-flag:: -Z - Turn *off* "update-frame squeezing" at garbage-collection time. + Turn *off* update frame squeezing on context switch. (There's no particularly good reason to turn it off, except to ensure the accuracy of certain data collected regarding thunk entry counts.) diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 911cf32969..fe118ea5f0 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -324,7 +324,7 @@ usage_text[] = { " -S[<file>] Detailed GC statistics (if <file> omitted, uses stderr)", "", "", -" -Z Don't squeeze out update frames on stack overflow", +" -Z Don't squeeze out update frames on context switch", " -B Sound the bell at the start of each garbage collection", #if defined(PROFILING) "", |