diff options
| author | bors <bors@rust-lang.org> | 2020-01-31 07:18:06 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-01-31 07:18:06 +0000 |
| commit | ca2abaf3667771ed5d7ab602792d472b032ca445 (patch) | |
| tree | cc833ad4c8a38a38dd0bfe4eb4dd3f7ee69263a1 /src/test/incremental/thinlto | |
| parent | 8e9089e454b04b8bad5ed6678050f1cc290a74b3 (diff) | |
| parent | 8f457fa4c99c39ec5c2428922d6f7cc3fec84f59 (diff) | |
| download | rust-ca2abaf3667771ed5d7ab602792d472b032ca445.tar.gz rust-ca2abaf3667771ed5d7ab602792d472b032ca445.zip | |
Auto merge of #5109 - phansch:ciao_util_dev, r=flip1995
Deprecate util/dev in favor of cargo alias This means one less shell script and a bit more cross-platform support for contributors. If you've been using `./util/dev` before, this now becomes `cargo dev`. The key part of this change is found in `.cargo/config` where an alias for calling the `clippy_dev` binary is defined. changelog: none
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions