commit 8d58ec1e92c8fd8ca04b419f1fe2486401c18e9e
author Dmitry Lomov <dslomov@google.com> Tue Oct 24 14:43:07 2017 +0200
committer Dmitry Lomov <dslomov@google.com> Tue Oct 24 15:38:48 2017 +0200
tree 3c68a5a7ee6015e603593ac6fa4b7283001e0762
parent 527ff1faeec309e5c5fd105ff13b2cb4c20dd4ef

Do not output Bazel leaves to logs.

Unicode characters are trouble we do not want.

Change-Id: I5f5239baab60a875a697f2ee3104225e19c0ce1d
PiperOrigin-RevId: 173245285

scripts/bootstrap/buildenv.sh

diff --git a/scripts/bootstrap/buildenv.sh b/scripts/bootstrap/buildenv.sh
index 9301483..c7e381c 100755
--- a/scripts/bootstrap/buildenv.sh
+++ b/scripts/bootstrap/buildenv.sh
@@ -228,7 +228,11 @@
   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() {