#include "defs.h"
#include "top.h"
+#include "event-loop.h"
#include "target.h"
#include "inferior.h"
#include "call-cmds.h"
extern int write_files;
static void print_gdb_help PARAMS ((GDB_FILE *));
-extern void gdb_init PARAMS ((char *));
/* These two are used to set the external editor commands when gdb is farming
out files to be edited by another program. */
{
/* NOTE: I am commenting this out, because it is not clear
where this feature is used. It is very old and
- undocumented. ezannoni: 5/4/99*/
+ undocumented. ezannoni: 1999-05-04*/
#if 0
if (cmdarg[i][0] == '-' && cmdarg[i][1] == '\0')
read_command_file (stdin);
}
\f
-void
-init_proc ()
-{
-}
-
-void
-proc_remove_foreign (pid)
- int pid;
-{
-}
-
/* All I/O sent to the *_filtered and *_unfiltered functions eventually ends up
here. The fputs_unfiltered_hook is primarily used by GUIs to collect all
output and send it to the GUI, instead of the controlling terminal. Only