diff options
Diffstat (limited to 'docs/users_guide/runtime_control.rst')
| -rw-r--r-- | docs/users_guide/runtime_control.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/users_guide/runtime_control.rst b/docs/users_guide/runtime_control.rst index 77b86e3c2a..32d665da66 100644 --- a/docs/users_guide/runtime_control.rst +++ b/docs/users_guide/runtime_control.rst @@ -1161,6 +1161,7 @@ recommended for everyday use! .. rts-flag:: -Dg DEBUG: gc .. rts-flag:: -Db DEBUG: block .. rts-flag:: -DS DEBUG: sanity +.. rts-flag:: -DZ DEBUG: zero freed memory on GC .. rts-flag:: -Dt DEBUG: stable .. rts-flag:: -Dp DEBUG: prof .. rts-flag:: -Da DEBUG: apply |