From 68aab69af313e9f9fd2c755a93ec557e062bf33e Mon Sep 17 00:00:00 2001 From: Jeremy Sorensen Date: Tue, 29 Aug 2017 08:27:30 -0700 Subject: [PATCH] add ignore-git=true option to RUST_CONFIGURE_ARGS --- src/ci/docker/x86_64-gnu-distcheck/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ci/docker/x86_64-gnu-distcheck/Dockerfile b/src/ci/docker/x86_64-gnu-distcheck/Dockerfile index 786f59eb9f76..497aeb65107b 100644 --- a/src/ci/docker/x86_64-gnu-distcheck/Dockerfile +++ b/src/ci/docker/x86_64-gnu-distcheck/Dockerfile @@ -18,6 +18,6 @@ RUN apt-get update && apt-get install -y --no-install-recommends \ COPY scripts/sccache.sh /scripts/ RUN sh /scripts/sccache.sh -ENV RUST_CONFIGURE_ARGS --build=x86_64-unknown-linux-gnu +ENV RUST_CONFIGURE_ARGS --build=x86_64-unknown-linux-gnu --set build.ignore-git=true ENV SCRIPT python2.7 ../x.py test distcheck ENV DIST_SRC 1