void
dwarf_end()
{
locctr(PROG, NULL);
printf(PRTPREF DLABEL ":\n", dwetext);
if (dwcfl)
dwslabstr(dwcfl, dwname ? dwname : "<unknown>");
printf(PRTPREF "\t.set " DLABEL ",%d\n",
debug_info_sz_lbl, debug_info_sz);
}
void
dwarf_file(char *fn)
{
/* if first file name, print out as initial and remember */
if (dwcfl) {
dwslabstr(dwcfl, fn);
dwcfl = 0;
}
/* XXX add more here */
}