user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix build on Solaris where is no flock().

Browse source
This commit is contained in:
Petr Sumbera 2025-02-04 11:51:08 +00:00
parent 6e9471811b
commit 9673d8d543
1 changed files with 8 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/tools/miri/src/shims/unix/fs.rs
View file

@ -178,7 +178,7 @@ impl UnixFileDescription for FileHandle {
op: FlockOp,
) -> InterpResult<'tcx, io::Result<()>> {
assert!(communicate_allowed, "isolation should have prevented even opening a file");
#[cfg(target_family = "unix")]
#[cfg(all(target_family = "unix", not(target_os = "solaris")))]
{
use std::os::fd::AsRawFd;
@ -260,10 +260,15 @@ impl UnixFileDescription for FileHandle {
interp_ok(res)
}
#[cfg(not(any(target_family = "unix", target_family = "windows")))]
#[cfg(not(any(
all(target_family = "unix", not(target_os = "solaris")),
target_family = "windows"
)))]
{
let _ = op;
compile_error!("flock is supported only on UNIX and Windows hosts");
throw_unsup_format!(
"flock is supported only on UNIX (except Solaris) and Windows hosts"
);
}
}
}