diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2020-10-22 12:31:11 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2020-11-05 11:54:32 +0100 |
| commit | 874cbb88e0379a0e7bab5b9db99e2a4c495534fb (patch) | |
| tree | 7c665740c9f4647409f11f5ac45b26b822ff1a0f | |
| parent | 1274faed1a1379bb1521ae9884bc8ef420971636 (diff) | |
| download | rust-874cbb88e0379a0e7bab5b9db99e2a4c495534fb.tar.gz rust-874cbb88e0379a0e7bab5b9db99e2a4c495534fb.zip | |
ci: build docs for aarch64-unknown-linux-gnu
| -rw-r--r-- | src/ci/docker/host-x86_64/dist-aarch64-linux/Dockerfile | 3 | ||||
| -rw-r--r-- | src/tools/build-manifest/src/main.rs | 1 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/ci/docker/host-x86_64/dist-aarch64-linux/Dockerfile b/src/ci/docker/host-x86_64/dist-aarch64-linux/Dockerfile index df65f9df441..95c54ca1abc 100644 --- a/src/ci/docker/host-x86_64/dist-aarch64-linux/Dockerfile +++ b/src/ci/docker/host-x86_64/dist-aarch64-linux/Dockerfile @@ -35,6 +35,5 @@ ENV HOSTS=aarch64-unknown-linux-gnu ENV RUST_CONFIGURE_ARGS \ --enable-full-tools \ --enable-profiler \ - --enable-sanitizers \ - --disable-docs + --enable-sanitizers ENV SCRIPT python3 ../x.py dist --host $HOSTS --target $HOSTS diff --git a/src/tools/build-manifest/src/main.rs b/src/tools/build-manifest/src/main.rs index 9a8f2404e4a..687354dc6ae 100644 --- a/src/tools/build-manifest/src/main.rs +++ b/src/tools/build-manifest/src/main.rs @@ -155,6 +155,7 @@ static TARGETS: &[&str] = &[ ]; static DOCS_TARGETS: &[&str] = &[ + "aarch64-unknown-linux-gnu", "i686-apple-darwin", "i686-pc-windows-gnu", "i686-pc-windows-msvc", |