From: Ralf Jung <post@ralfj.de>
Date: Sun, 25 Jul 2021 12:38:02 +0000 (+0200)
Subject: no concurrency on windows
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=679d10f98b765294aefbce61b525de407fc2cea4;p=rust.git

no concurrency on windows
---

diff --git a/tests/run-pass/threadleak_ignored.rs b/tests/run-pass/threadleak_ignored.rs
index 14a7449f339..840fbc1ebcb 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.