diff options
Diffstat (limited to '')
-rwxr-xr-x | src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh | 26 |
1 files changed, 26 insertions, 0 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 new file mode 100755 index 000000000..412efe5c4 --- /dev/null +++ b/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh @@ -0,0 +1,26 @@ +#!/bin/sh + +set -eu + +X_PY="$1" + +# Try to test all the tools and store the build/test success in the TOOLSTATE_FILE + +set +e +python3 "$X_PY" test --stage 2 --no-fail-fast \ + src/doc/book \ + src/doc/nomicon \ + src/doc/reference \ + src/doc/rust-by-example \ + src/doc/embedded-book \ + src/doc/edition-guide \ + src/tools/rls \ + src/tools/miri \ + +set -e + +# debugging: print out the saved toolstates +cat /tmp/toolstate/toolstates.json +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 |