diff options
| author | Ben Kimock <kimockb@gmail.com> | 2024-03-04 10:13:49 -0500 |
|---|---|---|
| committer | Ben Kimock <kimockb@gmail.com> | 2024-03-04 10:13:49 -0500 |
| commit | 75f6694ce890dd906c30d2a13bf852b7646fc7dc (patch) | |
| tree | 028602b1d7a9baaa88b290f2a2635d15c563e960 | |
| parent | 8851f3cd731407d933eb472459223beeefd43dd4 (diff) | |
| download | rust-75f6694ce890dd906c30d2a13bf852b7646fc7dc.tar.gz rust-75f6694ce890dd906c30d2a13bf852b7646fc7dc.zip | |
Use cargo miri clean in build-all-targets.sh
| -rwxr-xr-x | src/tools/miri/ci/build-all-targets.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/ci/build-all-targets.sh b/src/tools/miri/ci/build-all-targets.sh index bf3ffd07017..fdb645c3ae1 100755 --- a/src/tools/miri/ci/build-all-targets.sh +++ b/src/tools/miri/ci/build-all-targets.sh @@ -12,7 +12,7 @@ PLATFORM_SUPPORT_FILE=$(rustc +miri --print sysroot)/share/doc/rust/html/rustc/p for target in $(python3 ci/scrape-targets.py $PLATFORM_SUPPORT_FILE); do # Wipe the cache before every build to minimize disk usage - rm -rf ~/.cache/miri + cargo +miri miri clean if cargo +miri miri setup --target $target 2>&1 | tee failures/$target; then # If the build succeeds, delete its output. If we have output, a build failed. rm $FAILS_DIR/$target |