Re: [Valgrind-users] --tool help not too helpful

[Philippe W. <phi...@sk...>]

On Wed, 2014-04-30 at 15:44 -0500, Skip Montanaro wrote:
> > In the next valgrind version, the man page (and the corresponding place
> > in the user manual) will now be:
> >
> >   ...
> >   TOOL SELECTION OPTIONS
> >        The single most important option.
> >
> >        --tool=<toolname> [default: memcheck]
> >            Run the Valgrind tool called toolname, e.g. memcheck, cachegrind, callgrind,
> >            helgrind, drd, massif, lackey, none, exp-sgcheck, exp-bbv, exp-dhat, etc.
> >    ...
> 
> That will be great. The version I have available (3.7.0 - which I'm
> sure is ancient in developers' terms, but it's what was provided with
> openSUSE 12.2) only mentions that first line in the --help output, and
> just a smidgen more in the man page:
> 
>        --tool=<toolname> [default: memcheck]
>            Run the Valgrind tool called toolname, e.g. Memcheck, Cachegrind,
>            etc.
Note that I have changed the manual and the man page,
but the --help output is *not* changed.

Philippe