Function errno_rmdir_non_empty

src/rmdir.c:73–77

Return true if ERROR_NUMBER is one of the values associated with a failed rmdir due to non-empty target directory. */

/* Return true if ERROR_NUMBER is one of the values associated
   with a failed rmdir due to non-empty target directory.  */
static bool
errno_rmdir_non_empty (int error_number)
{
  return error_number == ENOTEMPTY || error_number == EEXIST;
}

/* Return true if when rmdir fails with errno == ERROR_NUMBER
   the directory may be non empty.  */