diff options
| author | Philipp Hansch <dev@phansch.net> | 2019-08-09 07:50:25 +0200 |
|---|---|---|
| committer | Philipp Hansch <dev@phansch.net> | 2019-08-12 19:20:36 +0200 |
| commit | 5114050839ba288cbd1af44ac0261c50c8239493 (patch) | |
| tree | 145f9b2900d7f3ac4e57daf2a258b3f8e8e934bb /src/test/incremental/thinlto | |
| parent | c154754b74577906c5d55d57f7daeff02d6a33e7 (diff) | |
| download | rust-5114050839ba288cbd1af44ac0261c50c8239493.tar.gz rust-5114050839ba288cbd1af44ac0261c50c8239493.zip | |
Update lint deprecation for tool lints
Our lint deprecation previously didn't work for tool lints, because `register_removed` was registering lints to be removed _without_ the `clippy` prefix.
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions