about summary refs log tree commit diff
path: root/src/tools/miri/tests
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2022-11-26 15:58:44 +0100
committerRalf Jung <post@ralfj.de>2022-11-26 16:14:58 +0100
commit3158a8d476d6f35664502fa50aae9f3e873a263e (patch)
tree161ec2736722678e62088e7aa0d5f73e65085147 /src/tools/miri/tests
parent245857beb76094d07f8447c5072d9da386f42b91 (diff)
downloadrust-3158a8d476d6f35664502fa50aae9f3e873a263e.tar.gz
rust-3158a8d476d6f35664502fa50aae9f3e873a263e.zip
support no_std on Windows
Diffstat (limited to 'src/tools/miri/tests')
-rw-r--r--src/tools/miri/tests/pass/no_std.rs4
1 files changed, 0 insertions, 4 deletions
diff --git a/src/tools/miri/tests/pass/no_std.rs b/src/tools/miri/tests/pass/no_std.rs
index eb0e860e68e..3bece7783f7 100644
--- a/src/tools/miri/tests/pass/no_std.rs
+++ b/src/tools/miri/tests/pass/no_std.rs
@@ -1,9 +1,5 @@
 #![feature(lang_items, start)]
 #![no_std]
-// windows tls dtors go through libstd right now, thus this test
-// cannot pass. When windows tls dtors go through the special magic
-// windows linker section, we can run this test on windows again.
-//@ignore-target-windows: no-std not supported on Windows
 
 // Plumbing to let us use `writeln!` to host stdout: