Searched refs:printed_objfile_header (Results 1 – 1 of 1) sorted by relevance
1269 int printed_objfile_header = 0; in maintenance_print_psymbols() local1297 if (!printed_objfile_header) in maintenance_print_psymbols()1301 printed_objfile_header = 1; in maintenance_print_psymbols()1323 if (!printed_objfile_header) in maintenance_print_psymbols()1327 printed_objfile_header = 1; in maintenance_print_psymbols()