Skip to content

Commit 94a8156

Browse files
YohDeadfallRalfJung
andcommitted
Fixed test target
Co-authored-by: Ralf Jung <post@ralfj.de>
1 parent da77926 commit 94a8156

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

tests/fail-dep/libc/libc-epoll-data-race.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,7 @@
22
//! and we only read one of them, we do not synchronize with the other events
33
//! and therefore still report a data race for things that need to see the second event
44
//! to be considered synchronized.
5-
//@only-target: linux
6-
//@only-target: android
5+
//@only-target: linux android
76
// ensure deterministic schedule
87
//@compile-flags: -Zmiri-preemption-rate=0
98

0 commit comments

Comments
 (0)