diff options
| author | Philipp Krones <hello@philkrones.com> | 2023-08-11 14:05:13 +0200 |
|---|---|---|
| committer | Philipp Krones <hello@philkrones.com> | 2023-08-11 14:05:13 +0200 |
| commit | 852bf4e51bf260550cd1a280d2146f1c0641b1e8 (patch) | |
| tree | 18f5f409bbd02face059e87a83c42b5d3613cf9c /src/tools/clippy/clippy_dev | |
| parent | 7d8386f05cedf33c7475cbb44f84178df5919202 (diff) | |
| parent | 1e8fdf492808a25d78a97e1242b835ace9924e4d (diff) | |
| download | rust-852bf4e51bf260550cd1a280d2146f1c0641b1e8.tar.gz rust-852bf4e51bf260550cd1a280d2146f1c0641b1e8.zip | |
Merge commit '1e8fdf492808a25d78a97e1242b835ace9924e4d' into clippyup
Diffstat (limited to 'src/tools/clippy/clippy_dev')
| -rw-r--r-- | src/tools/clippy/clippy_dev/src/main.rs | 2 | ||||
| -rw-r--r-- | src/tools/clippy/clippy_dev/src/setup/vscode.rs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/clippy/clippy_dev/src/main.rs b/src/tools/clippy/clippy_dev/src/main.rs index 43eaccdf5a3..fca750fafc7 100644 --- a/src/tools/clippy/clippy_dev/src/main.rs +++ b/src/tools/clippy/clippy_dev/src/main.rs @@ -41,7 +41,7 @@ fn main() { matches.get_one::<String>("type").map(String::as_str), matches.get_flag("msrv"), ) { - Ok(_) => update_lints::update(update_lints::UpdateMode::Change), + Ok(()) => update_lints::update(update_lints::UpdateMode::Change), Err(e) => eprintln!("Unable to create lint: {e}"), } }, diff --git a/src/tools/clippy/clippy_dev/src/setup/vscode.rs b/src/tools/clippy/clippy_dev/src/setup/vscode.rs index dbcdc9b59e5..204f4af2cf1 100644 --- a/src/tools/clippy/clippy_dev/src/setup/vscode.rs +++ b/src/tools/clippy/clippy_dev/src/setup/vscode.rs @@ -47,7 +47,7 @@ fn check_install_precondition(force_override: bool) -> bool { } } else { match fs::create_dir(vs_dir_path) { - Ok(_) => { + Ok(()) => { println!("info: created `{VSCODE_DIR}` directory for clippy"); }, Err(err) => { |