To adhere to Make convention, I have a PR out to change a bare
make to mean
make build instead of
make build test lint. This means
make short, which ran
make build testshort lintshort, no longer makes sense, so that’s getting axed. (
make testshort and
make lintshort will continue to exist as standalone targets.)
Does this break your workflow? Please chime in on the PR!
Similarly, let me know if renaming
make check to
make lint has caused undue hardship. We’re trying to strike a balance between meeting our users’ expectations for how standard Make targets work and preserving existing developer workflows.