| 1892 | /* Return true if standard output is a tty, caching the result. */ |
| 1893 | |
| 1894 | static bool |
| 1895 | stdout_isatty (void) |
| 1896 | { |
| 1897 | static signed char out_tty = -1; |
| 1898 | if (out_tty < 0) |
| 1899 | out_tty = isatty (STDOUT_FILENO); |
| 1900 | assume (out_tty == 0 || out_tty == 1); |
| 1901 | return out_tty; |
| 1902 | } |
| 1903 | |
| 1904 | /* Set all the option flags according to the switches specified. |
| 1905 | Return the index of the first non-option argument. */ |