3 RUN apt-get update && apt-get install -y --no-install-recommends \
16 ENV SCCACHE_DIGEST=7237e38e029342fa27b7ac25412cb9d52554008b12389727320bd533fd7f05b6a96d55485f305caf95e5c8f5f97c3313e10012ccad3e752aba2518f3522ba783
17 RUN curl -L https://api.pub.build.mozilla.org/tooltool/sha512/$SCCACHE_DIGEST | \
18 tar xJf - -C /usr/local/bin --strip-components=1
20 RUN curl -OL https://github.com/Yelp/dumb-init/releases/download/v1.2.0/dumb-init_1.2.0_amd64.deb && \
21 dpkg -i dumb-init_*.deb && \
23 ENTRYPOINT ["/usr/bin/dumb-init", "--"]
25 ENV RUST_CONFIGURE_ARGS --build=x86_64-unknown-linux-gnu
26 ENV RUSTFLAGS -Zincremental=/tmp/rust-incr-cache
27 ENV RUST_CHECK_TARGET check