diff options
author | Jim Kingdon <jkingdon@engr.sgi.com> | 1994-04-14 03:35:57 +0000 |
---|---|---|
committer | Jim Kingdon <jkingdon@engr.sgi.com> | 1994-04-14 03:35:57 +0000 |
commit | ac74588eb572714a87fcc470feb36ffb90697ccb (patch) | |
tree | e7ee6f4351ed5010713751d71951dd070d131262 /gdb/doc/gdb.texinfo | |
parent | b550c03aec9bd94b07d26be24197c510fe1958e5 (diff) | |
download | gdb-ac74588eb572714a87fcc470feb36ffb90697ccb.zip gdb-ac74588eb572714a87fcc470feb36ffb90697ccb.tar.gz gdb-ac74588eb572714a87fcc470feb36ffb90697ccb.tar.bz2 |
(Arguments): Fix typo.
Diffstat (limited to 'gdb/doc/gdb.texinfo')
-rw-r--r-- | gdb/doc/gdb.texinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 6c21808..72b3002 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -1518,8 +1518,8 @@ The arguments to your program can be specified by the arguments of the @code{run} command. They are passed to a shell, which expands wildcard characters and performs redirection of I/O, and thence to your program. Your @code{SHELL} environment variable (if it exists) specifies what -shell @value{GDBN} if you do not define @code{SHELL}, @value{GDBN} uses -@code{/bin/sh}. +shell @value{GDBN} uses. If you do not define @code{SHELL}, +@value{GDBN} uses @code{/bin/sh}. @code{run} with no arguments uses the same arguments used by the previous @code{run}, or those set by the @code{set args} command. |