diff options
| author | Jeremy Sorensen <jeremy.a.sorensen@gmail.com> | 2017-08-29 09:39:12 -0700 |
|---|---|---|
| committer | Jeremy Sorensen <jeremy.a.sorensen@gmail.com> | 2017-08-29 09:39:12 -0700 |
| commit | d24ee2380f0a50748c8e463325b7d03c027de6cb (patch) | |
| tree | 9b6917e919d2075fc0db388f2597392347c92bbd | |
| parent | 68aab69af313e9f9fd2c755a93ec557e062bf33e (diff) | |
change option for RUST_CONFIGURE_ARGS to ignore-git=false
| -rw-r--r-- | src/ci/docker/x86_64-gnu-distcheck/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |