| 2917 | errno is set appropriately for the failure. */ |
| 2918 | |
| 2919 | static void |
| 2920 | file_failure (bool serious, char const *message, char const *file) |
| 2921 | { |
| 2922 | error (0, errno, message, quoteaf (file)); |
| 2923 | set_exit_status (serious); |
| 2924 | } |
| 2925 | |
| 2926 | /* Request that the directory named NAME have its contents listed later. |
| 2927 | If REALNAME is nonzero, it will be used instead of NAME when the |
no test coverage detected