diff options
author | Dan Aloni <alonid@gmail.com> | 2018-06-28 00:36:02 +0300 |
---|---|---|
committer | w0rp <w0rp@users.noreply.github.com> | 2018-06-27 22:36:02 +0100 |
commit | d9e139ae2384b04af05ce9343aa0d0a5bae5449b (patch) | |
tree | 4298b157ed7eb253f55f616b7a54e2e6b72aed96 /ale_linters/idris | |
parent | 980aa35566f1a5c66c7b9939bb07ec68deebccb2 (diff) | |
download | ale-d9e139ae2384b04af05ce9343aa0d0a5bae5449b.zip |
Rust Cargo linter: Improve workspace support (#1679)
* Rust Cargo linter: Improve workspace support
When using Cargo workspaces [1], there is a 'Cargo.toml' directory in a
top level directory, listing all the crates in the project. If we are
currently editing one of the crates, 'cargo build' should execute in
that directory for that crate's separate `Cargo.toml`, otherwise Cargo
may spend more time possibly rebuilding the entire workspace, and maybe
failing on one of the other crates, instead of succeeding on the current.
[1] https://doc.rust-lang.org/book/second-edition/ch14-03-cargo-workspaces.html
Diffstat (limited to 'ale_linters/idris')
0 files changed, 0 insertions, 0 deletions