Searched refs:corefilename (Results 1 – 1 of 1) sorted by relevance
45 char *corefilename, corefilename_buffer[40]; in gcore_command() local56 corefilename = args; in gcore_command()61 corefilename = corefilename_buffer; in gcore_command()66 "Opening corefile '%s' for output.\n", corefilename); in gcore_command()69 obfd = bfd_openw (corefilename, default_gcore_target ()); in gcore_command()71 error ("Failed to open '%s' for output.", corefilename); in gcore_command()109 fprintf_filtered (gdb_stdout, "Saved corefile %s\n", corefilename); in gcore_command()