ci: build docs for aarch64-unknown-linux-gnu

2020-10-22 12:31:11 +02:00 · 2020-10-22 12:31:11 +02:00 · 874cbb88e0
commit 874cbb88e0
parent 1274faed1a
2 changed files with 2 additions and 2 deletions
--- 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
--- 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",