diff options
| author | David Carlier <devnexen@gmail.com> | 2024-01-30 19:00:16 +0000 |
|---|---|---|
| committer | David Carlier <devnexen@gmail.com> | 2024-01-30 19:00:16 +0000 |
| commit | e47bb909286ccf58059c2bec217e21c82432a185 (patch) | |
| tree | 41f766f230fb8b89508353f728149067b2a34542 | |
| parent | 9eb94e8d2011e87b1552fc57a7cb4bfa8489541f (diff) | |
| download | rust-e47bb909286ccf58059c2bec217e21c82432a185.tar.gz rust-e47bb909286ccf58059c2bec217e21c82432a185.zip | |
add num_cpus test
| -rwxr-xr-x | src/tools/miri/ci/ci.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/tools/miri/ci/ci.sh b/src/tools/miri/ci/ci.sh index 6bcc68ebf7c..9d2c3f362e6 100755 --- a/src/tools/miri/ci/ci.sh +++ b/src/tools/miri/ci/ci.sh @@ -121,8 +121,9 @@ case $HOST_TARGET in MIRI_TEST_TARGET=aarch64-apple-darwin run_tests MIRI_TEST_TARGET=i686-pc-windows-gnu run_tests # Some targets are only partially supported. - MIRI_TEST_TARGET=x86_64-unknown-freebsd run_tests_minimal hello integer vec panic/panic concurrency/simple pthread-threadname libc-getentropy libc-getrandom libc-misc libc-fs atomic env align - MIRI_TEST_TARGET=i686-unknown-freebsd run_tests_minimal hello integer vec panic/panic concurrency/simple pthread-threadname libc-getentropy libc-getrandom libc-misc libc-fs atomic env align + MIRI_TEST_TARGET=x86_64-unknown-freebsd run_tests_minimal hello integer vec panic/panic concurrency/simple pthread-threadname libc-getentropy libc-getrandom libc-misc libc-fs atomic env align num_cpus + MIRI_TEST_TARGET=i686-unknown-freebsd run_tests_minimal hello integer vec panic/panic concurrency/simple pthread-threadname libc-getentropy libc-getrandom libc-misc libc-fs atomic env align num_cpus + MIRI_TEST_TARGET=aarch64-linux-android run_tests_minimal hello integer vec panic/panic MIRI_TEST_TARGET=wasm32-wasi run_tests_minimal no_std integer strings wasm MIRI_TEST_TARGET=wasm32-unknown-unknown run_tests_minimal no_std integer strings wasm |