diff options
| author | David Wood <david@davidtw.co> | 2018-03-20 02:07:16 +0000 |
|---|---|---|
| committer | David Wood <david@davidtw.co> | 2018-03-21 19:02:54 +0000 |
| commit | 1392179cdc9c96e75353771959c246553b918d57 (patch) | |
| tree | 1732838933c16021f3360546e354d4c579fc7287 /src/ci/docker | |
| parent | 178652a2988d9ecd478a4116237e1d7ea6b777f7 (diff) | |
Configure the dist-x86_64-linux builder to produce compiler documentation
Diffstat (limited to 'src/ci/docker')
| -rw-r--r-- | src/ci/docker/dist-x86_64-linux/Dockerfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ci/docker/dist-x86_64-linux/Dockerfile b/src/ci/docker/dist-x86_64-linux/Dockerfile index 3b98b0aa926..28c97e8c6db 100644 --- a/src/ci/docker/dist-x86_64-linux/Dockerfile +++ b/src/ci/docker/dist-x86_64-linux/Dockerfile @@ -84,7 +84,8 @@ ENV HOSTS=x86_64-unknown-linux-gnu ENV RUST_CONFIGURE_ARGS \ --enable-full-tools \ --enable-sanitizers \ - --enable-profiler + --enable-profiler \ + --enable-compiler-docs ENV SCRIPT python2.7 ../x.py dist --host $HOSTS --target $HOSTS # This is the only builder which will create source tarballs |