diff options
author | Vijay Vasudevan <vrv@google.com> | 2016-01-26 17:30:34 -0800 |
---|---|---|
committer | Vijay Vasudevan <vrv@google.com> | 2016-01-26 18:04:58 -0800 |
commit | 4fb647cca9994ddc600943503f30e55a7fbdb14c (patch) | |
tree | 532a00c8c32ee3a377336d4f29a02e556feb4064 /eigen.BUILD | |
parent | 92e3b68fe4db0393709f58c22bdb93e2a934dc15 (diff) |
Fix OSS builds.
Change: 113114631
Diffstat (limited to 'eigen.BUILD')
-rw-r--r-- | eigen.BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/eigen.BUILD b/eigen.BUILD index eefbed57f0..63fed34055 100644 --- a/eigen.BUILD +++ b/eigen.BUILD @@ -1,6 +1,6 @@ package(default_visibility = ["//visibility:public"]) -archive_dir = "eigen-eigen-c8e5d094f3a9" +archive_dir = "eigen-eigen-fb2fa0527077" cc_library( name = "eigen", |