diff options
| author | Daniel Jacobowitz <dan@debian.org> | 2007-08-21 13:35:00 +0000 |
|---|---|---|
| committer | Daniel Jacobowitz <dan@debian.org> | 2007-08-21 13:35:00 +0000 |
| commit | 958717ebd5ef8f13776ece8899207ddb0bd228f2 (patch) | |
| tree | 784d3a12694daedfc92465479ad2cb9af8890faa /gdb/cli | |
| parent | 34198378fe26a49a031a76e77d36888d29a04a36 (diff) | |
| download | gdb-958717ebd5ef8f13776ece8899207ddb0bd228f2.tar.gz | |
2007-08-21 Chris Smith <chris.smith@st.com>
* cli/cli-script.c (read_command_lines): Call dont_repeat for each
line.
Diffstat (limited to 'gdb/cli')
| -rw-r--r-- | gdb/cli/cli-script.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/cli/cli-script.c b/gdb/cli/cli-script.c index 59160081869..503ce31b131 100644 --- a/gdb/cli/cli-script.c +++ b/gdb/cli/cli-script.c @@ -1067,6 +1067,7 @@ read_command_lines (char *prompt_arg, int from_tty) while (1) { + dont_repeat (); val = read_next_line (&next); /* Ignore blank lines or comments. */ |