diff options
| author | Tomasz Miąsko <tomasz.miasko@gmail.com> | 2020-06-04 00:00:00 +0000 |
|---|---|---|
| committer | Tomasz Miąsko <tomasz.miasko@gmail.com> | 2020-06-20 09:48:14 +0200 |
| commit | d2e6e9373ba8e307a88bfe73c408f218587fdad9 (patch) | |
| tree | f1d17ddcf16a68ad6e9b4bfb081c5d56079a542c | |
| parent | a3e88beffab90ac30c715eb89c5f942451d3571d (diff) | |
| download | rust-d2e6e9373ba8e307a88bfe73c408f218587fdad9.tar.gz rust-d2e6e9373ba8e307a88bfe73c408f218587fdad9.zip | |
ci: Enable sanitizers on dist-aarch64-linux
| -rw-r--r-- | src/ci/docker/dist-aarch64-linux/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ci/docker/dist-aarch64-linux/Dockerfile b/src/ci/docker/dist-aarch64-linux/Dockerfile index 74766dc970d..fd764965ef2 100644 --- a/src/ci/docker/dist-aarch64-linux/Dockerfile +++ b/src/ci/docker/dist-aarch64-linux/Dockerfile @@ -35,5 +35,6 @@ ENV HOSTS=aarch64-unknown-linux-gnu ENV RUST_CONFIGURE_ARGS \ --enable-full-tools \ --enable-profiler \ + --enable-sanitizers \ --disable-docs ENV SCRIPT python3 ../x.py dist --host $HOSTS --target $HOSTS |