This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH 5/5] pipe command completer


On 6/28/19 4:16 PM, Tom Tromey wrote:
>>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:
> 
> Pedro> This commit adds a completer for the "pipe" command.  It can complete
> Pedro> "pipe"'s options, and the specified GDB command.
> 
> Pedro> To make the completer aware of the "-d" option, this converts the
> Pedro> option processing to use gdb::option.
> 
> Thank you for doing this.
> 
> Pedro> gdb/ChangeLog:
> Pedro> yyyy-mm-dd  Pedro Alves  <palves@redhat.com>
> 
> Pedro> 	* cli/cli-cmds.c (struct pipe_cmd_opts): New.
> Pedro> 	(pipe_cmd_option_defs): New.
> 
> BTW this is PR cli/24732.

Thanks, I added that to the ChangeLogs and pushed this in.

Thanks,
Pedro Alves


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]