diff options
| author | Yoh Deadfall <yoh.deadfall@hotmail.com> | 2024-10-25 18:34:00 +0300 |
|---|---|---|
| committer | Yoh Deadfall <yoh.deadfall@hotmail.com> | 2024-10-28 12:05:10 +0300 |
| commit | c8ce9e68d4cdae32b8a0859e4e381356452d2dc2 (patch) | |
| tree | 2dbf8cdc135223b2a917efd28af2cabc55f47f09 /src/tools/miri/tests/pass-dep/concurrency | |
| parent | 340d2f7847829c680965691c9d99a24e038f1ef7 (diff) | |
| download | rust-c8ce9e68d4cdae32b8a0859e4e381356452d2dc2.tar.gz rust-c8ce9e68d4cdae32b8a0859e4e381356452d2dc2.zip | |
Android: Added syscall support
Diffstat (limited to 'src/tools/miri/tests/pass-dep/concurrency')
| -rw-r--r-- | src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs | 1 |
1 files changed, 1 insertions, 0 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 20e642a0a29..2a36c10f7d4 100644 --- a/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs +++ b/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs @@ -1,4 +1,5 @@ //@only-target: linux +//@only-target: android //@compile-flags: -Zmiri-disable-isolation // FIXME(static_mut_refs): Do not allow `static_mut_refs` lint |