diff options
Diffstat (limited to 'doc/developer.texi')
| -rw-r--r-- | doc/developer.texi | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/developer.texi b/doc/developer.texi index c3d0f2065c..58635f808f 100644 --- a/doc/developer.texi +++ b/doc/developer.texi @@ -578,9 +578,10 @@ new test. The configure script provides a shortcut for using valgrind to spot bugs related to memory handling. Just add the option -@code{--toolchain=valgrind-memcheck} to your configure line, and -reasonable defaults will be set for running FATE under the supervision -of the @strong{memcheck} tool of the valgrind suite. +@code{--toolchain=valgrind-memcheck} or @code{--toolchain=valgrind-massif} +to your configure line, and reasonable defaults will be set for running +FATE under the supervision of either the @strong{memcheck} or the +@strong{massif} tool of the valgrind suite. In case you need finer control over how valgrind is invoked, use the @code{--target-exec='valgrind <your_custom_valgrind_options>} option in |