diff options
Diffstat (limited to 'src/ci')
| -rw-r--r-- | src/ci/docker/x86_64-gnu-aux/Dockerfile (renamed from src/ci/docker/x86_64-gnu-cargotest/Dockerfile) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/x86_64-gnu-cargotest/Dockerfile b/src/ci/docker/x86_64-gnu-aux/Dockerfile index 2c3db87d9fb..88c8aa4a8c4 100644 --- a/src/ci/docker/x86_64-gnu-cargotest/Dockerfile +++ b/src/ci/docker/x86_64-gnu-aux/Dockerfile @@ -25,7 +25,7 @@ RUN curl -OL https://github.com/Yelp/dumb-init/releases/download/v1.2.0/dumb-ini ENTRYPOINT ["/usr/bin/dumb-init", "--"] ENV RUST_CONFIGURE_ARGS --build=x86_64-unknown-linux-gnu -ENV RUST_CHECK_TARGET check-cargotest +ENV RUST_CHECK_TARGET check-aux ENV NO_VENDOR 1 RUN mkdir /tmp/obj RUN chmod 777 /tmp/obj |