no concurrency on windows

RalfJung · RalfJung · commit 679d10f98b76 · 2021-07-25T14:38:02.000+02:00
diff --git 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.

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+// ignore-windows: Concurrency on Windows is not supported yet.`
`1`	`2`	`// compile-flags: -Zmiri-ignore-leaks`
`2`	`3`
`3`	`4`	`//! Test that leaking threads works, and that their destructors are not executed.`