diff options
| author | Sergio Durigan Junior <sergiodj@redhat.com> | 2017-06-14 16:45:20 -0400 |
|---|---|---|
| committer | Sergio Durigan Junior <sergiodj@redhat.com> | 2017-06-14 22:44:01 -0400 |
| commit | 45159d6ad394fe7db840b2b92eaa69508b8a8fe7 (patch) | |
| tree | 187348bd777cf1345d99de7ccff3d16f5f47824d /gold | |
| parent | 6e89f899896fd596527d24de6a8a98bc633805fb (diff) | |
| download | gdb-45159d6ad394fe7db840b2b92eaa69508b8a8fe7.zip gdb-45159d6ad394fe7db840b2b92eaa69508b8a8fe7.tar.gz gdb-45159d6ad394fe7db840b2b92eaa69508b8a8fe7.tar.bz2 | |
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.
Diffstat (limited to 'gold')
0 files changed, 0 insertions, 0 deletions