| 1614 | Print the file(s). */ |
| 1615 | |
| 1616 | static void |
| 1617 | print_files (int number_of_files, char **av) |
| 1618 | { |
| 1619 | init_parameters (number_of_files); |
| 1620 | if (! init_fps (number_of_files, av)) |
| 1621 | return; |
| 1622 | if (storing_columns) |
| 1623 | init_store_cols (); |
| 1624 | |
| 1625 | if (first_page_number > 1) |
| 1626 | { |
| 1627 | if (!skip_to_page (first_page_number)) |
| 1628 | return; |
| 1629 | else |
| 1630 | page_number = first_page_number; |
| 1631 | } |
| 1632 | else |
| 1633 | page_number = 1; |
| 1634 | |
| 1635 | init_funcs (); |
| 1636 | |
| 1637 | line_number = line_count; |
| 1638 | while (print_page ()) |
| 1639 | ; |
| 1640 | } |
| 1641 | |
| 1642 | /* Initialize header information. |
| 1643 | If DESC is non-negative, it is a file descriptor open to |
no test coverage detected