[PATCH] Cygwin: Make gmondump conform to its doc + adjust doc

[Corinna Vinschen]

On Aug  2 02:25, Mark Geisert wrote:
> The doc for gmondump says 1 or more FILENAME are expected, but 0 is
> handled. That's an oversight. Make invocation with 0 FILENAMEs print a
> one-line help message.
> 
> Reword the beginning of profiler's description doc to clarify target's
> child processes are run but only optionally profiled.
> 
> ---
>  winsup/doc/utils.xml    |  7 ++++---
>  winsup/utils/gmondump.c | 12 ++++++++++++
>  2 files changed, 16 insertions(+), 3 deletions(-)

Pushed.


Thanks,
Corinna