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```
This commit is contained in:
Matthias Krüger 2022-10-14 23:43:44 +02:00 committed by GitHub
commit 9f22530bae
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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