#include "gdb_stat.h"
/* Work with core dump and executable files, for GDB.
- This code would be in core.c if it weren't machine-dependent. */
+ This code would be in corefile.c if it weren't machine-dependent. */
void
core_file_command (filename, from_tty)
int from_tty;
{
int val;
- extern char registers[];
/* Discard all vestiges of any previous core file
and mark data and stack spaces as empty. */