/* Generate a core file for the inferior process.
- Copyright (C) 2001-2013 Free Software Foundation, Inc.
+ Copyright (C) 2001-2014 Free Software Foundation, Inc.
This file is part of GDB.
else
{
/* Default corefile name is "core.PID". */
- corefilename = xstrprintf ("core.%d", PIDGET (inferior_ptid));
+ corefilename = xstrprintf ("core.%d", ptid_get_pid (inferior_ptid));
}
filename_chain = make_cleanup (xfree, corefilename);