Re: [PATCH v2 4/4] Add doc and news for DWARF index cache

Eli Zaretskii
2018-07-30T19:23:21Z

> Date: Mon, 30 Jul 2018 15:04:43 -0400
> From: Simon Marchi <simon.marchi@polymtl.ca>
> Cc: Simon Marchi <simon.marchi@ericsson.com>, gdb-patches@sourceware.org
>
> >> +@item show index-cache stats
> >> +Print the number of cache hits and misses for the index cache since
> >> the launch
> >> +of @value{GDBN}.
> >
> > This begs the question: for which index cache will this show the
> > statistics? For the one defined by the latest "set index-cache
> > directory" command?
>
> Ah, no it's dumber than that. It's just how many hits and misses there
> were since GDB was launched, regardless of the cache directory used.
> Perhaps it would be clearer to keep it short like:
>
> Print the number of cache hits and misses since the launch of
> @value{GDBN}.
>
> ?

Yes, that's better.