diff options
| author | Ralf Jung <post@ralfj.de> | 2024-11-10 12:32:23 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-11-10 12:36:40 +0100 |
| commit | e8a3ffee490d5e20502247330fec061f558ea251 (patch) | |
| tree | 208ff7ff1caef74d49f82ec63ebd5d47751e19ff /src | |
| parent | 673d9c3e85cae19a822ebf6b928dc289bb57e812 (diff) | |
| download | rust-e8a3ffee490d5e20502247330fec061f558ea251.tar.gz rust-e8a3ffee490d5e20502247330fec061f558ea251.zip | |
fix linux-futex test being accidentally disabled
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs b/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs index d1fcf61c4c8..3adeb89ecec 100644 --- a/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs +++ b/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs @@ -1,5 +1,4 @@ -//@only-target: linux -//@only-target: android +//@only-target: linux android //@compile-flags: -Zmiri-disable-isolation // FIXME(static_mut_refs): Do not allow `static_mut_refs` lint @@ -8,8 +7,8 @@ use std::mem::MaybeUninit; use std::ptr::{self, addr_of}; use std::sync::atomic::{AtomicI32, Ordering}; -use std::thread; use std::time::{Duration, Instant}; +use std::{io, thread}; fn wake_nobody() { let futex = 0; |
