[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