Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

hudson-ayers
Copy link
Contributor

Pull Request Overview

Because of this bug: rust-lang/rust-clippy#4612 , sometimes make clean && make prepush will fail to catch clippy errors that make clean && make clippy will catch. In the meantime, it helps to make sure that cargo clippy is called before any other cargo command that actually compiles the workspace.

Testing Strategy

This pull request was tested by running make prepush on tock-2.0-dev, which had a clippy error that did not surface with the previous ordering.

TODO or Help Wanted

N/A

Documentation Updated

  • No updates are required.

Formatting

  • Ran make prepush.

@lschuermann
Copy link
Member

Given that we know about the clippy bug, shouldn't we also run make clean as we know it's necessary to get a correct result? Or at least include a warning that the clippy exit code might not reflect that there are no lints triggering if no make clean was executed immediately before running the command?

@bradjc
Copy link
Contributor

bradjc commented Dec 8, 2020

Since this is working around a bug in clippy, let's merge now and let this PR serve as some documentation as to why those are ordered the way they are.

@bradjc bradjc merged commit 9eacdb8 into tock:master Dec 8, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants