From 4f591a47d5c165785a8715f39fc6474c4e33a57f Mon Sep 17 00:00:00 2001
From: Jeremy Sorensen <jeremy.a.sorensen@gmail.com>
Date: Tue, 29 Aug 2017 22:01:51 -0700
Subject: [PATCH] fix option for RUST_CONFIGURE_ARGS to be
 rust.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 7a4582e2057d4..f16dd9809981e 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=false
+ENV RUST_CONFIGURE_ARGS --build=x86_64-unknown-linux-gnu --set rust.ignore-git=false
 ENV SCRIPT python2.7 ../x.py test distcheck
 ENV DIST_SRC 1