diff options
author | wylazy <ipjmcp@gmail.com> | 2018-08-07 03:22:11 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-08-07 03:23:43 -0700 |
commit | 68154e6525c9c18d25c4e82c34a847599da43e13 (patch) | |
tree | 2f64c0101350d1bed5630739afb9a82b6d0fcd08 /tools | |
parent | bee5fd63681c8ee5e8b4ae0019c0ab23ef3876af (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.bzl | 4 |
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)) |