prelim arg parse

2019-06-08 14:19:16 -07:00
parent 5abcff2be5
commit 296794dec5
3 changed files with 139 additions and 25 deletions
--- a/clippy_dev/src/main.rs
+++ b/clippy_dev/src/main.rs
@@ -100,8 +100,8 @@ fn update_lints(update_mode: &UpdateMode) {
            "\
 //! This file is managed by util/dev update_lints. Do not edit.

-mod lint;
-use lint::Lint;
+pub mod lint;
+pub use lint::Lint;

 pub const ALL_LINTS: [Lint; {}] = {:#?};\n",
            sorted_usable_lints.len(),