cmd_line_buffer->used_size = 0;
if (from_tty && annotation_level > 1)
- {
- printf_unfiltered (("\n\032\032post-"));
- puts_unfiltered (annotation_suffix);
- printf_unfiltered (("\n"));
- }
+ printf_unfiltered (("\n\032\032post-%s\n"), annotation_suffix);
#define SERVER_COMMAND_PREFIX "server "
server_command = startswith (cmd, SERVER_COMMAND_PREFIX);
/* Don't use a _filtered function here. It causes the assumed
character position to be off, since the newline we read from
the user is not accounted for. */
- puts_unfiltered (prompt);
+ printf_unfiltered ("%s", prompt);
gdb_flush (gdb_stdout);
}
++source_line_number;
if (from_tty && annotation_level > 1)
- {
- puts_unfiltered ("\n\032\032pre-");
- puts_unfiltered (annotation_suffix);
- puts_unfiltered ("\n");
- }
+ printf_unfiltered ("\n\032\032pre-%s\n", annotation_suffix);
/* Don't use fancy stuff if not talking to stdin. */
if (deprecated_readline_hook
fputs_filtered (str, stream);
}
-int
-putchar_unfiltered (int c)
-{
- return fputc_unfiltered (c, gdb_stdout);
-}
-
/* Write character C to gdb_stdout using GDB's paging mechanism and return C.
May return nonlocally. */
fputs_filtered (string, gdb_stdout);
}
-void
-puts_unfiltered (const char *string)
-{
- fputs_unfiltered (string, gdb_stdout);
-}
-
/* Return a pointer to N spaces and a null. The pointer is good
until the next call to here. */
const char *
extern int putchar_filtered (int c);
-extern int putchar_unfiltered (int c);
-
extern void puts_filtered (const char *);
-extern void puts_unfiltered (const char *);
-
extern void puts_filtered_tabular (char *string, int width, int right);
extern void vprintf_filtered (const char *, va_list) ATTRIBUTE_PRINTF (1, 0);