diff options
| author | Jorge Aparicio <japaricious@gmail.com> | 2017-02-04 20:15:20 -0500 |
|---|---|---|
| committer | Jorge Aparicio <japaricious@gmail.com> | 2017-02-08 18:51:43 -0500 |
| commit | 72058e4f4cff46daf5c60cbd7c7978734ecb13cc (patch) | |
| tree | 6c999338d70bfe9e77bfaa5169063655ba35776f /src | |
| parent | 22097e6827b726f517e94c31df0728b481f57245 (diff) | |
| download | rust-72058e4f4cff46daf5c60cbd7c7978734ecb13cc.tar.gz rust-72058e4f4cff46daf5c60cbd7c7978734ecb13cc.zip | |
enable sanitizers on x86_64-linux releases
Diffstat (limited to 'src')
| -rw-r--r-- | src/ci/docker/dist-x86-linux/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/dist-x86-linux/Dockerfile b/src/ci/docker/dist-x86-linux/Dockerfile index 4e4f5dd6f1e..7238888a4af 100644 --- a/src/ci/docker/dist-x86-linux/Dockerfile +++ b/src/ci/docker/dist-x86-linux/Dockerfile @@ -76,5 +76,5 @@ RUN curl -L https://api.pub.build.mozilla.org/tooltool/sha512/$SCCACHE_DIGEST | ENV HOSTS=i686-unknown-linux-gnu ENV HOSTS=$HOSTS,x86_64-unknown-linux-gnu -ENV RUST_CONFIGURE_ARGS --host=$HOSTS --enable-extended +ENV RUST_CONFIGURE_ARGS --host=$HOSTS --enable-extended --enable-sanitizers ENV SCRIPT python2.7 ../x.py dist --host $HOSTS --target $HOSTS |