From: Kirsten Chevalier Date: Wed, 7 Feb 2007 08:45:27 +0000 (+0000) Subject: Update to manual section for ticky-ticky X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=8d276febb7e186affdcd9fa39f5a185a2e15847e;hp=5ddee764beb312933256096d03df7c3ec47ac452 Update to manual section for ticky-ticky I added a slightly more helpful remark in the profiling section of the manual about how to use ticky-ticky. --- diff --git a/docs/users_guide/profiling.xml b/docs/users_guide/profiling.xml index c30bd80..fb6049d 100644 --- a/docs/users_guide/profiling.xml +++ b/docs/users_guide/profiling.xml @@ -1327,9 +1327,9 @@ to re-read its input file: profiling system, intended for all users everywhere. To be able to use ticky-ticky profiling, you will need to - have built appropriate libraries and things when you made the - system. See “Customising what libraries to build,” in - the installation guide. + have built the ticky RTS. (This should be described in + the building guide, but amounts to building the RTS with way + "t" enabled.) To get your compiled program to spit out the ticky-ticky numbers, use a RTS