diff options
| author | Ralf Jung <post@ralfj.de> | 2024-10-13 12:34:28 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-10-13 12:35:06 +0200 |
| commit | a87f5ca917b5c3c10163601da74df2045ee8e6ea (patch) | |
| tree | de8ee8dca9b5a7f8634b465cf1b1e31f4ae6c1d7 /library/std/src/sys/sync | |
| parent | ecf2d1fa4bd8166c696883b10f483122b1fe98a3 (diff) | |
| download | rust-a87f5ca917b5c3c10163601da74df2045ee8e6ea.tar.gz rust-a87f5ca917b5c3c10163601da74df2045ee8e6ea.zip | |
sys/unix: add comments for some Miri fallbacks
Diffstat (limited to 'library/std/src/sys/sync')
| -rw-r--r-- | library/std/src/sys/sync/thread_parking/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/library/std/src/sys/sync/thread_parking/mod.rs b/library/std/src/sys/sync/thread_parking/mod.rs index 0ebc5e093ee..f4d8fa0a58c 100644 --- a/library/std/src/sys/sync/thread_parking/mod.rs +++ b/library/std/src/sys/sync/thread_parking/mod.rs @@ -23,6 +23,7 @@ cfg_if::cfg_if! { mod windows7; pub use windows7::Parker; } else if #[cfg(all(target_vendor = "apple", not(miri)))] { + // Doesn't work in Miri, see <https://github.com/rust-lang/miri/issues/2589>. mod darwin; pub use darwin::Parker; } else if #[cfg(target_os = "xous")] { |