diff options
Diffstat (limited to 'src/subcommands/diff.rs')
| -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( |