diff options
| author | Trevor Gross <tmgross@umich.edu> | 2025-04-20 08:34:47 +0000 |
|---|---|---|
| committer | Trevor Gross <t.gross35@gmail.com> | 2025-04-20 05:33:19 -0400 |
| commit | 13bf5f5bb4115cebe30c8b18935ad017c7fa3de1 (patch) | |
| tree | 2428fa3452008d2e21e51fb7662e95b4771684ec | |
| parent | ee431374eb639598c93753f94125d87b47ed20ae (diff) | |
| download | rust-13bf5f5bb4115cebe30c8b18935ad017c7fa3de1.tar.gz rust-13bf5f5bb4115cebe30c8b18935ad017c7fa3de1.zip | |
ci: Use lowercase for bash locals, fix shellcheck
| -rwxr-xr-x | library/compiler-builtins/ci/miri.sh | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/library/compiler-builtins/ci/miri.sh b/library/compiler-builtins/ci/miri.sh index 79e660bab62..7b0ea44c690 100755 --- a/library/compiler-builtins/ci/miri.sh +++ b/library/compiler-builtins/ci/miri.sh @@ -1,5 +1,5 @@ #!/bin/bash -set -ex +set -eux # We need Tree Borrows as some of our raw pointer patterns are not # compatible with Stacked Borrows. @@ -7,10 +7,12 @@ export MIRIFLAGS="-Zmiri-tree-borrows" # One target that sets `mem-unaligned` and one that does not, # and a big-endian target. -TARGETS=(x86_64-unknown-linux-gnu +targets=( + x86_64-unknown-linux-gnu armv7-unknown-linux-gnueabihf - s390x-unknown-linux-gnu) -for TARGET in "${TARGETS[@]}"; do + s390x-unknown-linux-gnu +) +for target in "${targets[@]}"; do # Only run the `mem` tests to avoid this taking too long. - cargo miri test --manifest-path builtins-test/Cargo.toml --features no-asm --target $TARGET -- mem + cargo miri test --manifest-path builtins-test/Cargo.toml --features no-asm --target "$target" -- mem done |