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
diff --git a/third_party/eigen/BUILD b/third_party/eigen/BUILD
index fd6f889..7012271 100644
--- a/third_party/eigen/BUILD
+++ b/third_party/eigen/BUILD
@@ -5,7 +5,7 @@
visibility = ['//visibility:public'],
srcs = glob(['Eigen/src/**/*.h']),
includes = ['.'],
- hdrs = glob(['Eigen/*'], [
+ hdrs = glob(['Eigen/*'], exclude=[
# Stuff that we don't have the dependencies for.
'Eigen/CholmodSupport',
'Eigen/MetisSupport',