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 8f8b9b3fcb..909feff545 100644 --- a/docs/users_guide/runtime_control.rst +++ b/docs/users_guide/runtime_control.rst @@ -1354,6 +1354,7 @@ recommended for everyday use! .. rts-flag:: -Dp DEBUG: prof .. rts-flag:: -Da DEBUG: apply .. rts-flag:: -Dl DEBUG: linker +.. rts-flag:: -DL DEBUG: linker (verbose); implies :rts-flag:`-Dl` .. rts-flag:: -Dm DEBUG: stm .. rts-flag:: -Dz DEBUG: stack squeezing .. rts-flag:: -Dc DEBUG: program coverage |