Searched refs:corefilename_buffer (Results 1 – 1 of 1) sorted by relevance
45 char *corefilename, corefilename_buffer[40]; in gcore_command() local60 sprintf (corefilename_buffer, "core.%d", PIDGET (inferior_ptid)); in gcore_command()61 corefilename = corefilename_buffer; in gcore_command()