diff options
Diffstat (limited to 'docs/users_guide/runtime_control.xml')
| -rw-r--r-- | docs/users_guide/runtime_control.xml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml index d26dd96e8c..cdd9fd4997 100644 --- a/docs/users_guide/runtime_control.xml +++ b/docs/users_guide/runtime_control.xml @@ -1442,8 +1442,7 @@ $ ./a.out +RTS --info <literal>-threaded</literal> option) and <literal>rts_p</literal> (profiling runtime, i.e. linked using the <literal>-prof</literal> option). Other variants include <literal>debug</literal> - (linked using <literal>-debug</literal>), - <literal>t</literal> (ticky-ticky profiling) and + (linked using <literal>-debug</literal>), and <literal>dyn</literal> (the RTS is linked in dynamically, i.e. a shared library, rather than statically linked into the executable itself). These can be combined, |