From 68154e6525c9c18d25c4e82c34a847599da43e13 Mon Sep 17 00:00:00 2001 From: wylazy Date: Tue, 7 Aug 2018 03:22:11 -0700 Subject: git_repository could use HTTP_PROXY to clone repository git_repository could use HTTP_PROXY to clone repository Fixes #3893. Closes #5674. PiperOrigin-RevId: 207689348 --- tools/build_defs/repo/git.bzl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/build_defs/repo/git.bzl b/tools/build_defs/repo/git.bzl index 510e2a134c..99a6d6b79d 100644 --- a/tools/build_defs/repo/git.bzl +++ b/tools/build_defs/repo/git.bzl @@ -62,7 +62,7 @@ set -ex remote = ctx.attr.remote, ref = ref, shallow = shallow, - )]) + )], environment = ctx.os.environ) if st.return_code: fail("error cloning %s:\n%s" % (ctx.name, st.stderr)) @@ -80,7 +80,7 @@ set -ex git submodule update --init --checkout --force ) """.format( directory = ctx.path("."), - )]) + )], environment = ctx.os.environ) if st.return_code: fail("error updating submodules %s:\n%s" % (ctx.name, st.stderr)) -- cgit v1.2.3