Skip to content

make check should not fail for release tarballs #14513

Closed
@jellelicht

Description

@jellelicht

PR #13658 introduced a hard-failing linter in case the linter dependencies are not included.

This happens to be the case for at least release 8.2.1, and as part of normal packaging procedures we run make check to verify that everything still works as it should. It seems reasonable to expect make check to only fail if there are problems with the code.

A linter not being available in the release tarball is IMHO not a reason for the included tests to fail.

Metadata

Metadata

Assignees

No one assigned

    Labels

    buildIssues and PRs related to build files or the CI.toolsIssues and PRs related to the tools directory.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions