diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-11 11:36:57 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-11 11:36:57 +0000 |
commit | 7cbe34f940c34bd25d58fbb115d449b1113bacc7 (patch) | |
tree | f13e6877b23fc5a2fa647e5ce6a36b688c480f5b | |
parent | e9d3e28afc8b473e250ae43eabd928809c4a4c3a (diff) | |
download | haskell-7cbe34f940c34bd25d58fbb115d449b1113bacc7.tar.gz |
Improve documentation of -ticky a little
-rw-r--r-- | docs/users_guide/flags.xml | 7 | ||||
-rw-r--r-- | docs/users_guide/profiling.xml | 2 | ||||
-rw-r--r-- | docs/users_guide/runtime_control.xml | 3 |
3 files changed, 9 insertions, 3 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index ac3cc041a1..2c0e54883a 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -2522,6 +2522,13 @@ <entry>-</entry> </row> <row> + <entry><option>-ticky</option></entry> + <entry>For linking, this simply implies <option>-debug</option>; + see <xref linkend="ticky-ticky"/>.</entry> + <entry>dynamic</entry> + <entry>-</entry> + </row> + <row> <entry><option>-eventlog</option></entry> <entry>Enable runtime event tracing</entry> <entry>dynamic</entry> diff --git a/docs/users_guide/profiling.xml b/docs/users_guide/profiling.xml index 5bb396d377..4971a7d9f8 100644 --- a/docs/users_guide/profiling.xml +++ b/docs/users_guide/profiling.xml @@ -1771,7 +1771,7 @@ Options: <para>Because ticky-ticky profiling requires a certain familiarity with GHC internals, we have moved the documentation to the - wiki. Take a look at its <ulink + GHC developers wiki. Take a look at its <ulink url="http://ghc.haskell.org/trac/ghc/wiki/Commentary/Profiling">overview of the profiling options</ulink>, which includeds a link to the ticky-ticky profiling page.</para> 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, |