aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
authorGravatar wylazy <ipjmcp@gmail.com>2018-08-07 03:22:11 -0700
committerGravatar Copybara-Service <copybara-piper@google.com>2018-08-07 03:23:43 -0700
commit68154e6525c9c18d25c4e82c34a847599da43e13 (patch)
tree2f64c0101350d1bed5630739afb9a82b6d0fcd08 /tools
parentbee5fd63681c8ee5e8b4ae0019c0ab23ef3876af (diff)
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
Diffstat (limited to 'tools')
-rw-r--r--tools/build_defs/repo/git.bzl4
1 files 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))