diff options
| author | bors <bors@rust-lang.org> | 2020-04-04 18:17:14 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-04-04 18:17:14 +0000 |
| commit | 853c4774e26ea97b45fe74de9a6f68e526784323 (patch) | |
| tree | b761ab3637064129275773dc736f8786a57ae89c /src/ci | |
| parent | cff07db629d7522a0ae4e05865f66f3186e70970 (diff) | |
| parent | dcf70044de3fdbad55c498db8a59173f9d360ff8 (diff) | |
| download | rust-853c4774e26ea97b45fe74de9a6f68e526784323.tar.gz rust-853c4774e26ea97b45fe74de9a6f68e526784323.zip | |
Auto merge of #69898 - spastorino:rename-rustc-guide2, r=Xanewok
Move rustc-guide submodule to rustc-dev-guide r? @pietroalbini
Diffstat (limited to 'src/ci')
| -rwxr-xr-x | src/ci/docker/x86_64-gnu-tools/checktools.sh | 2 |
1 files changed, 1 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 e57fe227139..72325c7b948 100755 --- a/src/ci/docker/x86_64-gnu-tools/checktools.sh +++ b/src/ci/docker/x86_64-gnu-tools/checktools.sh @@ -14,7 +14,7 @@ python2.7 "$X_PY" test --no-fail-fast \ src/doc/rust-by-example \ src/doc/embedded-book \ src/doc/edition-guide \ - src/doc/rustc-guide \ + src/doc/rustc-dev-guide \ src/tools/clippy \ src/tools/rls \ src/tools/rustfmt \ |