diff options
| author | Thomas Otto <th1000s@posteo.net> | 2024-11-29 00:53:16 +0100 |
|---|---|---|
| committer | Thomas Otto <th1000s@posteo.net> | 2024-11-29 01:00:18 +0100 |
| commit | 658d7baca1f753cd8e1f913b63403a4620ef0fe0 (patch) | |
| tree | 5dd31d37018f9bef5e47dcf0597f8a8663e968fc | |
| parent | d33032f6b2002fa54b3284bc375b7d87a0dc8d26 (diff) | |
clippy 1.83: silence zombie_processes false positive
But now < 1.83 clippy would complain about an unknown lint, so
allow that, too.
| -rw-r--r-- | src/subcommands/diff.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/subcommands/diff.rs b/src/subcommands/diff.rs index 53a36c7..e9b33f9 100644 --- a/src/subcommands/diff.rs +++ b/src/subcommands/diff.rs @@ -94,6 +94,9 @@ pub fn diff( eprintln!("Failed to execute the command '{diff_bin}': {err}"); return config.error_exit_code; } + // 1.83 false positive, see rust-lang/rust-clippy/issues/13748 + #[allow(unknown_lints)] + #[allow(clippy::zombie_processes)] let mut diff_process = diff_process.unwrap(); if let Err(error) = delta::delta( |