Make stdin be per UI
[external/binutils.git] / gdb / defs.h
index ed51396..b81de46 100644 (file)
@@ -324,7 +324,9 @@ extern char *command_line_input (const char *, int, char *);
 
 extern void print_prompt (void);
 
-extern int input_from_terminal_p (void);
+struct ui;
+
+extern int input_interactive_p (struct ui *);
 
 extern int info_verbose;