diff options
| author | Tom Tromey <tromey@redhat.com> | 2011-01-31 16:52:35 +0000 |
|---|---|---|
| committer | Tom Tromey <tromey@redhat.com> | 2011-01-31 16:52:35 +0000 |
| commit | 47a80e909327f6be0451b7792162266e6695f23d (patch) | |
| tree | 3d37f5644de9db00bdff6e4bc07daae1a5f0bcda /gdb/command.h | |
| parent | a22429b98e4c117b40f9693585c546067d9a4c0e (diff) | |
| download | gdb-47a80e909327f6be0451b7792162266e6695f23d.zip gdb-47a80e909327f6be0451b7792162266e6695f23d.tar.gz gdb-47a80e909327f6be0451b7792162266e6695f23d.tar.bz2 | |
PR python/12216:
* python/python.c (execute_gdb_command): Call
prevent_dont_repeat.
* top.c (suppress_dont_repeat): New global.
(dont_repeat): Use it.
(prevent_dont_repeat): New function.
* command.h (prevent_dont_repeat): Declare.
Diffstat (limited to 'gdb/command.h')
| -rw-r--r-- | gdb/command.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/command.h b/gdb/command.h index f53cc80..d2f5ca5 100644 --- a/gdb/command.h +++ b/gdb/command.h @@ -355,6 +355,8 @@ extern void error_no_arg (char *) ATTRIBUTE_NORETURN; extern void dont_repeat (void); +extern struct cleanup *prevent_dont_repeat (void); + /* Used to mark commands that don't do anything. If we just leave the function field NULL, the command is interpreted as a help topic, or as a class of commands. */ |