diff options
author | Dmitry Lomov <dslomov@google.com> | 2017-10-24 14:43:07 +0200 |
---|---|---|
committer | Dmitry Lomov <dslomov@google.com> | 2017-10-24 15:38:48 +0200 |
commit | 8d58ec1e92c8fd8ca04b419f1fe2486401c18e9e (patch) | |
tree | 3c68a5a7ee6015e603593ac6fa4b7283001e0762 /scripts | |
parent | 527ff1faeec309e5c5fd105ff13b2cb4c20dd4ef (diff) |
Do not output Bazel leaves to logs.
Unicode characters are trouble we do not want.
Change-Id: I5f5239baab60a875a697f2ee3104225e19c0ce1d
PiperOrigin-RevId: 173245285
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/bootstrap/buildenv.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/bootstrap/buildenv.sh b/scripts/bootstrap/buildenv.sh index 9301483180..c7e381c33e 100755 --- a/scripts/bootstrap/buildenv.sh +++ b/scripts/bootstrap/buildenv.sh @@ -228,7 +228,11 @@ function new_step() { else new_line="\n" fi - display -n "$new_line$LEAVES $1" + if [ -t 2 ]; then + display -n "$new_line$LEAVES $1" + else + display -n "$new_line$1" + fi } function git_sha1() { |