From 679d10f98b765294aefbce61b525de407fc2cea4 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 25 Jul 2021 14:38:02 +0200 Subject: [PATCH] no concurrency on windows --- tests/run-pass/threadleak_ignored.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/run-pass/threadleak_ignored.rs b/tests/run-pass/threadleak_ignored.rs index 14a7449f3392..840fbc1ebcbc 100644 --- a/tests/run-pass/threadleak_ignored.rs +++ b/tests/run-pass/threadleak_ignored.rs @@ -1,3 +1,4 @@ +// ignore-windows: Concurrency on Windows is not supported yet. // compile-flags: -Zmiri-ignore-leaks //! Test that leaking threads works, and that their destructors are not executed.