PR gdb/21574: Mention $SHELL and startup-with-shell on "help run"
authorSergio Durigan Junior <sergiodj@redhat.com>
Wed, 14 Jun 2017 20:45:20 +0000 (16:45 -0400)
committerSergio Durigan Junior <sergiodj@redhat.com>
Thu, 15 Jun 2017 02:44:01 +0000 (22:44 -0400)
commit45159d6ad394fe7db840b2b92eaa69508b8a8fe7
tree187348bd777cf1345d99de7ccff3d16f5f47824d
parent6e89f899896fd596527d24de6a8a98bc633805fb
PR gdb/21574: Mention $SHELL and startup-with-shell on "help run"

This simple patch updates the documentation of "help run" in order to
mention that the shell used to start the inferior comes from the
$SHELL environment variable.  It also mentions that this behaviour can
be disabled by using the "set startup-with-shell off" command.

gdb/ChangeLog:
2017-06-14  Sergio Durigan Junior  <sergiodj@redhat.com>

PR gdb/21574
* infcmd.c (_initialize_infcmd): Expand "help run" documentation
to mention $SHELL and startup-with-shell.
gdb/ChangeLog
gdb/infcmd.c