This code would be in corefile.c if it weren't machine-dependent. */
void
-core_file_command (filename, from_tty)
- char *filename;
- int from_tty;
+core_file_command (char *filename, int from_tty)
{
int val;
and mark data and stack spaces as empty. */
if (corefile)
- free (corefile);
+ xfree (corefile);
corefile = 0;
if (corechan >= 0)
if (filename)
{
filename = tilde_expand (filename);
- make_cleanup (free, filename);
+ make_cleanup (xfree, filename);
if (have_inferior_p ())
error ("To look at a core file, you must kill the program with \"kill\".");