diff options
Diffstat (limited to 'src/platform')
| -rw-r--r-- | src/platform/macos.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/platform/macos.rs b/src/platform/macos.rs index add51aa4..bfce664a 100644 --- a/src/platform/macos.rs +++ b/src/platform/macos.rs @@ -103,6 +103,7 @@ pub fn foreground_process_group_id(pid: u32) -> Option<u32> { let fg = info.e_tpgid; if fg > 0 { + #[allow(clippy::unnecessary_cast)] // info.e_tpgid (pid_t) type is platform-dependent Some(fg as u32) } else { None |