PR python/12216:

[thirdparty/binutils-gdb.git] / gdb / command.h

diff --git a/gdb/command.h b/gdb/command.h
index f53cc80af62393f0ce18c4e59c1730a9cab569e6..d2f5ca501f75b8cd156b1a177da6cfb777a40673 100644 (file)
--- 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.  */