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
