RIIR update lints: Generate modules section

2018-11-01 20:16:38 +01:00
parent 0ad5b9b9e0
commit 5fc25d30e2
2 changed files with 44 additions and 2 deletions
--- a/clippy_dev/src/main.rs
+++ b/clippy_dev/src/main.rs
@@ -90,4 +90,12 @@ fn update_lints() {
        false,
        || { gen_deprecated(&lint_list) }
    );
+
+    replace_region_in_file(
+        "../clippy_lints/src/lib.rs",
+        "begin lints modules",
+        "end lints modules",
+        false,
+        || { gen_modules_list(lint_list.clone()) }
+    );
 }