mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #2621 - RalfJung:windows-gnu, r=RalfJung

Browse Source 
test on windows-gnu target

The windows-gnu target for an open-source windows toolchain is slightly different in some low-level aspects of the standard library, such as TLS handling. So let's separately ensure that this works. (Also tests a 64bit windows target on a windows host, which we didn't have so far.)
This commit is contained in:
bors 2022-10-26 12:02:55 +00:00
commit 2b160e8aa2
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/tools/miri/ci.sh
View File

@ -93,6 +93,7 @@ case $HOST_TARGET in
;; ;;
i686-pc-windows-msvc) i686-pc-windows-msvc)
MIRI_TEST_TARGET=x86_64-unknown-linux-gnu run_tests MIRI_TEST_TARGET=x86_64-unknown-linux-gnu run_tests
MIRI_TEST_TARGET=x86_64-pc-windows-gnu run_tests
;; ;;
*) *)
echo "FATAL: unknown OS" echo "FATAL: unknown OS"