diff options
Diffstat (limited to 'docs')
| -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 a51fb7f2a2..64d38367a7 100644 --- a/docs/users_guide/runtime_control.rst +++ b/docs/users_guide/runtime_control.rst @@ -1367,6 +1367,7 @@ recommended for everyday use! .. rts-flag:: -Dc DEBUG: program coverage .. rts-flag:: -Dr DEBUG: sparks .. rts-flag:: -DC DEBUG: compact +.. rts-flag:: -Dk DEBUG: continuation Debug messages will be sent to the binary event log file instead of stdout if the :rts-flag:`-l ⟨flags⟩` option is added. This might be useful |