diff options
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)) |