diff options
author | 2018-02-16 18:22:55 -0800 | |
---|---|---|
committer | 2018-02-16 18:27:19 -0800 | |
commit | 0e6f39d1bd7fe8daa86944f6ab0dd94fbeb4962a (patch) | |
tree | ee0dabaff4147ecc9bc92acd2a50dadbfd694f39 /third_party | |
parent | 128572c316e6f2eb6346f920314ef98e88e75069 (diff) |
Merge changes from github.
PiperOrigin-RevId: 186073337
Diffstat (limited to 'third_party')
-rw-r--r-- | third_party/repo.bzl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/third_party/repo.bzl b/third_party/repo.bzl index 11e9c842d2..aa178fa8ca 100644 --- a/third_party/repo.bzl +++ b/third_party/repo.bzl @@ -27,7 +27,7 @@ def _wrap_bash_cmd(ctx, cmd): bazel_sh = _get_env_var(ctx, "BAZEL_SH") if not bazel_sh: fail("BAZEL_SH environment variable is not set") - cmd = [bazel_sh, "-c", " ".join(cmd)] + cmd = [bazel_sh, "-l", "-c", " ".join(cmd)] return cmd def _get_env_var(ctx, name): |