commit b200c17dfc2122ab72e0964a438add64ced0cdbc
author Brian Silverman <brians> Mon Jan 02 17:35:35 2017 -0800
committer Brian Silverman <bsilver16384@gmail.com> Wed Jan 04 19:33:48 2017 -0800
tree 7825feeab22ddad4a2ef53bd9ce0fc8b08e02347
parent f2a50ba841f843e01da373aaad271974ea4fa99e

Upgrade to a new Bazel version

This one has better performance and various new features. It also
prevents us from falling too far behind upstream.

Change-Id: I3b8e1c5bda886ea2e990523af9e6de2434c784be

tools/bazel

diff --git a/tools/bazel b/tools/bazel
index 415aeff..f6f4c52 100755
--- a/tools/bazel
+++ b/tools/bazel
@@ -24,7 +24,7 @@
   exec "${BAZEL_OVERRIDE}" "$@"
 fi
 
-readonly VERSION="201607070016+7a0d360"
+readonly VERSION="201701021712+4964f2c"
 
 readonly DOWNLOAD_DIR="$(dirname "${BASH_SOURCE[0]}")/../bazel-downloads"
 # Directory to unpack bazel into.  This must change whenever bazel changes.