commit | fc9f1c00022bdd95a0f7a687c0dc3c7e811a8636 | [log] [tgz] |
---|---|---|
author | Treehugger Robot <treehugger-gerrit@google.com> | Tue Dec 15 05:06:26 2020 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue Dec 15 05:06:26 2020 +0000 |
tree | a2d6f2e84faf713e7ed3404ef4ff52a753d046a7 | |
parent | a25382e5658734a3c6e0132e882837dc0dc2a36c [diff] | |
parent | c8b5e196ced4bfa1182a829a8deea08b21038e79 [diff] |
Merge "Pipe bazel() note text to stderr."
diff --git a/envsetup.sh b/envsetup.sh index a2d5d1d..8fa608b 100644 --- a/envsetup.sh +++ b/envsetup.sh
@@ -330,8 +330,8 @@ fi if which bazel &>/dev/null; then - echo "NOTE: bazel() function sourced from envsetup.sh is being used instead of $(which bazel)" - echo + >&2 echo "NOTE: bazel() function sourced from envsetup.sh is being used instead of $(which bazel)" + >&2 echo fi "$T/tools/bazel" "$@"