diff options
| author | joboet <jonasboettiger@icloud.com> | 2022-10-08 09:12:06 +0200 |
|---|---|---|
| committer | joboet <jonasboettiger@icloud.com> | 2022-10-08 09:12:06 +0200 |
| commit | c320ab98ff1d4adb32cece206aa895e4effae175 (patch) | |
| tree | a659f013e80b25e217153901e18fc048af43e99e | |
| parent | b4c8a7b952de72bc70e798408efbd4124fa15c59 (diff) | |
| download | rust-c320ab98ff1d4adb32cece206aa895e4effae175.tar.gz rust-c320ab98ff1d4adb32cece206aa895e4effae175.zip | |
std: do not use dispatch semaphore under miri (yet)
| -rw-r--r-- | library/std/src/sys/unix/thread_parker/mod.rs | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/library/std/src/sys/unix/thread_parker/mod.rs b/library/std/src/sys/unix/thread_parker/mod.rs index 724ec2d482e..35f1e68a87e 100644 --- a/library/std/src/sys/unix/thread_parker/mod.rs +++ b/library/std/src/sys/unix/thread_parker/mod.rs @@ -11,11 +11,14 @@ )))] cfg_if::cfg_if! { - if #[cfg(any( - target_os = "macos", - target_os = "ios", - target_os = "watchos", - target_os = "tvos", + if #[cfg(all( + any( + target_os = "macos", + target_os = "ios", + target_os = "watchos", + target_os = "tvos", + ), + not(miri), ))] { mod darwin; pub use darwin::Parker; |