diff options
| author | mark <markm@cs.wisc.edu> | 2020-04-30 21:50:43 -0500 |
|---|---|---|
| committer | mark <markm@cs.wisc.edu> | 2020-04-30 21:50:43 -0500 |
| commit | 9e43b00d4fe2660573e40ec9125290b1d9974e44 (patch) | |
| tree | 31eef2c2e3554f3c272c75c23e010a6888c879a0 | |
| parent | 614f273e9388ddd7804d5cbc80b8865068a3744e (diff) | |
| download | rust-9e43b00d4fe2660573e40ec9125290b1d9974e44.tar.gz rust-9e43b00d4fe2660573e40ec9125290b1d9974e44.zip | |
Turn of rustc-dev-guide toolstate for now
| -rwxr-xr-x | src/ci/docker/x86_64-gnu-tools/checktools.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/ci/docker/x86_64-gnu-tools/checktools.sh b/src/ci/docker/x86_64-gnu-tools/checktools.sh index 00ac20c08dc..c9d1cb21da8 100755 --- a/src/ci/docker/x86_64-gnu-tools/checktools.sh +++ b/src/ci/docker/x86_64-gnu-tools/checktools.sh @@ -14,7 +14,6 @@ python3 "$X_PY" test --no-fail-fast \ src/doc/rust-by-example \ src/doc/embedded-book \ src/doc/edition-guide \ - src/doc/rustc-dev-guide \ src/tools/clippy \ src/tools/rls \ src/tools/rustfmt \ |