diff options
| author | flip1995 <hello@philkrones.com> | 2020-10-07 16:05:13 +0200 |
|---|---|---|
| committer | flip1995 <philipp.krones@embecosm.com> | 2020-11-24 10:37:31 +0100 |
| commit | 03f04314dd715db631214ed4c5fa8243dc17eb1c (patch) | |
| tree | 26753210d533385f4c8356c2123111149b5f3f62 /clippy_dev | |
| parent | 9f1505ce9fcadba36a729431ecff1bb6b4e1c228 (diff) | |
| download | rust-03f04314dd715db631214ed4c5fa8243dc17eb1c.tar.gz rust-03f04314dd715db631214ed4c5fa8243dc17eb1c.zip | |
clippy: Remove now obsolete lintlist module
Also stop updating the lintlist module in clippy_dev update_lints
Diffstat (limited to 'clippy_dev')
| -rw-r--r-- | clippy_dev/src/update_lints.rs | 15 |
1 files changed, 1 insertions, 14 deletions
diff --git a/clippy_dev/src/update_lints.rs b/clippy_dev/src/update_lints.rs index 556b67e0b37..fcf093f8835 100644 --- a/clippy_dev/src/update_lints.rs +++ b/clippy_dev/src/update_lints.rs @@ -22,20 +22,7 @@ pub fn run(update_mode: UpdateMode) { let usable_lint_count = round_to_fifty(usable_lints.len()); - let mut file_change = replace_region_in_file( - Path::new("src/lintlist/mod.rs"), - "begin lint list", - "end lint list", - false, - update_mode == UpdateMode::Change, - || { - format!("vec!{:#?}", sorted_usable_lints) - .lines() - .map(ToString::to_string) - .collect::<Vec<_>>() - }, - ) - .changed; + let mut file_change = false; file_change |= replace_region_in_file( Path::new("README.md"), |