diff options
| author | Yoh Deadfall <yoh.deadfall@hotmail.com> | 2024-11-11 15:38:10 +0300 |
|---|---|---|
| committer | Yoh Deadfall <yoh.deadfall@hotmail.com> | 2024-11-25 22:31:53 +0300 |
| commit | 64f42a4107a6d095fd7ea4fb726f7a73ba235ada (patch) | |
| tree | 640758c04478c360796966f9ebd211567cf78c3e /src | |
| parent | 57c66159dae0e89930f75a0f60aa578bc7a86111 (diff) | |
| download | rust-64f42a4107a6d095fd7ea4fb726f7a73ba235ada.tar.gz rust-64f42a4107a6d095fd7ea4fb726f7a73ba235ada.zip | |
Fixed test target
Co-authored-by: Ralf Jung <post@ralfj.de>
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/tests/fail-dep/libc/libc-epoll-data-race.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/tools/miri/tests/fail-dep/libc/libc-epoll-data-race.rs b/src/tools/miri/tests/fail-dep/libc/libc-epoll-data-race.rs index 0794867118c..7bef687e339 100644 --- a/src/tools/miri/tests/fail-dep/libc/libc-epoll-data-race.rs +++ b/src/tools/miri/tests/fail-dep/libc/libc-epoll-data-race.rs @@ -2,8 +2,7 @@ //! and we only read one of them, we do not synchronize with the other events //! and therefore still report a data race for things that need to see the second event //! to be considered synchronized. -//@only-target: linux -//@only-target: android +//@only-target: linux android // ensure deterministic schedule //@compile-flags: -Zmiri-preemption-rate=0 |