Skip to content

Probably make distclean and configure are an overkill for most commits #28

Description

@robins

Probably make distclean and configure are an overkill for most commits.

See if we can have a fallback of .. if fails only then re-attempt, this time with make distclean + configure.

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions