* gdb.texinfo (Command Files): Further describe the behavior of
sourced command files.
+2002-07-09 Don Howard <dhoward@redhat.com>
+
+ * gdb.texinfo (Command Files): Further describe the behavior of
+ sourced command files.
+
2002-06-27 Andrew Cagney <ac131313@redhat.com>
* gdbint.texinfo (User Interface): ISO C rather than ISO-C.
@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