3 RUN apt-get update && apt-get install -y --no-install-recommends \
20 COPY scripts/dumb-init.sh /scripts/
21 RUN sh /scripts/dumb-init.sh
23 COPY scripts/sccache.sh /scripts/
24 RUN sh /scripts/sccache.sh
26 ENTRYPOINT ["/usr/bin/dumb-init", "--"]
28 ENV HOSTS=mips-unknown-linux-gnu
30 ENV RUST_CONFIGURE_ARGS --host=$HOSTS --enable-extended
31 ENV SCRIPT python2.7 ../x.py dist --host $HOSTS --target $HOSTS