This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH 1/3] Documentation for Python -P commandline support
> From: Kevin Buettner <kevinb@redhat.com>
> Cc: Kevin Buettner <kevinb@redhat.com>
> Date: Sun, 21 Jul 2019 16:54:25 -0700
>
> gdb/doc/ChangeLog:
>
> * gdb.texinfo (Mode Options): Add documentation for -P.
Thanks.
> +Python as @code{sys.argv}. This option is only available if Python
> +scripting support was enabled when @value{GDBN} was configured.
I'd say "when @value{GDBN} was built". It's more clear, I think.
Otherwise, this part is OK, but we should also mention this in NEWS.