diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-10-14 23:43:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-14 23:43:44 +0200 |
| commit | 9f22530bae390b7bcf0fab3893eb91686268588a (patch) | |
| tree | 4d907ee6f47d364780d0682b6ad5170ccbd950d9 | |
| parent | d47b7556838a8bba99b9a43c00ba0e5e94de2825 (diff) | |
| parent | dbb4271bb495bf3ac290b910a7ce1c48d73ad01c (diff) | |
| download | rust-9f22530bae390b7bcf0fab3893eb91686268588a.tar.gz rust-9f22530bae390b7bcf0fab3893eb91686268588a.zip | |
Rollup merge of #103039 - RalfJung:checktools, r=Dylan-DPC
checktools: fix comments This bothers me each time I see it, time to fix it. ;) r? ```@Mark-Simulacrum```
| -rwxr-xr-x | src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh b/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh index cf00c285b0a..3e1f39eaab5 100755 --- a/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh +++ b/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh @@ -4,7 +4,7 @@ set -eu X_PY="$1" -# Try to test all the tools and store the build/test success in the TOOLSTATE_FILE +# Try to test the toolstate-tracked tools and store the build/test success in the TOOLSTATE_FILE. set +e python3 "$X_PY" test --stage 2 --no-fail-fast \ @@ -19,6 +19,8 @@ set -e # debugging: print out the saved toolstates cat /tmp/toolstate/toolstates.json + +# Test remaining tools that must pass. python3 "$X_PY" test --stage 2 check-tools python3 "$X_PY" test --stage 2 src/tools/clippy python3 "$X_PY" test --stage 2 src/tools/rustfmt |