From d24ee2380f0a50748c8e463325b7d03c027de6cb Mon Sep 17 00:00:00 2001 From: Jeremy Sorensen Date: Tue, 29 Aug 2017 09:39:12 -0700 Subject: [PATCH] change option for RUST_CONFIGURE_ARGS to ignore-git=false --- 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 497aeb65107..7a4582e2057 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 --set build.ignore-git=true +ENV RUST_CONFIGURE_ARGS --build=x86_64-unknown-linux-gnu --set build.ignore-git=false ENV SCRIPT python2.7 ../x.py test distcheck ENV DIST_SRC 1