diff options
| author | James Munns <james.munns@ferrous-systems.com> | 2019-01-19 04:52:39 +0100 |
|---|---|---|
| committer | Steve Klabnik <steve@steveklabnik.com> | 2019-02-04 05:20:43 -0500 |
| commit | 606e5e07f6bf73297472c41a181672133bf21f16 (patch) | |
| tree | 3262981650f0eaa00e465048d86342414066ddc1 /src/ci | |
| parent | 8ae730a442cc8af6a487a137ae9ba78f89edbba6 (diff) | |
| download | rust-606e5e07f6bf73297472c41a181672133bf21f16.tar.gz rust-606e5e07f6bf73297472c41a181672133bf21f16.zip | |
Add embedded book
Diffstat (limited to 'src/ci')
| -rwxr-xr-x | src/ci/docker/x86_64-gnu-tools/checktools.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ci/docker/x86_64-gnu-tools/checktools.sh b/src/ci/docker/x86_64-gnu-tools/checktools.sh index 2e5b3359501..3343716419f 100755 --- a/src/ci/docker/x86_64-gnu-tools/checktools.sh +++ b/src/ci/docker/x86_64-gnu-tools/checktools.sh @@ -23,6 +23,7 @@ python2.7 "$X_PY" test --no-fail-fast \ src/doc/nomicon \ src/doc/reference \ src/doc/rust-by-example \ + src/doc/embedded-book \ src/tools/clippy \ src/tools/rls \ src/tools/rustfmt \ |