[PATCH 1/2] gdb: introduce new 'maint flush ' prefix command
Eli Zaretskii
eliz@gnu.org
Mon Nov 23 15:28:03 GMT 2020
> From: Andrew Burgess <andrew.burgess@embecosm.com>
> Date: Mon, 23 Nov 2020 10:39:36 +0000
>
> diff --git a/gdb/NEWS b/gdb/NEWS
> index d1f721c3953..b07b054223f 100644
> --- a/gdb/NEWS
> +++ b/gdb/NEWS
> @@ -27,6 +27,11 @@ set debug event-loop
> show debug event-loop
> Control the display of debug output about GDB's event loop.
>
> +maintenance flush symbol-cache
> +maintenance flush register-cache
> + These new commands are equivalent to the already existing commands
> + 'maintenance flush-symbol-cache' and 'flushregs' respectively.
> +
> * Changed commands
This part is OK.
> +@kindex maint flush symbol-cache
> @kindex maint flush-symbol-cache
> @cindex symbol cache, flushing
> +@item maint flush symbol-cache
> @item maint flush-symbol-cache
You cannot have more than 1 @item in a row. All but the first one
have to be @itemx instead.
> +@kindex maint flush register-cache
> @kindex flushregs
> +@cindex register cache, flushing
> +@item maint flush register-cache
> @item flushregs
Same here.
The documentation parts are okay with this nit fixed. Thanks.
More information about the Gdb-patches
mailing list