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 /src/ci | |
| parent | 1274faed1a1379bb1521ae9884bc8ef420971636 (diff) | |
| download | rust-874cbb88e0379a0e7bab5b9db99e2a4c495534fb.tar.gz rust-874cbb88e0379a0e7bab5b9db99e2a4c495534fb.zip | |
ci: build docs for aarch64-unknown-linux-gnu
Diffstat (limited to 'src/ci')
| -rw-r--r-- | src/ci/docker/host-x86_64/dist-aarch64-linux/Dockerfile | 3 |
1 files changed, 1 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 |