diff options
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 6d725ed..d72613b 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -12973,8 +12973,8 @@ Execute the command file @var{filename}. @end table The lines in a command file are executed sequentially. They are not -printed as they are executed. An error in any command terminates execution -of the command file. +printed as they are executed. An error in any command terminates +execution of the command file and control is returned to the console. Commands that would ask for confirmation if used interactively proceed without asking when used in a command file. Many @value{GDBN} commands that |