diff options
| author |  Benoit Steiner <bsteiner@google.com> | 2016-12-15 11:51:40 -0800 |
|---|---|---|
| committer |  TensorFlower Gardener <gardener@tensorflow.org> | 2016-12-15 12:07:07 -0800 |
| commit | 7ec872c29ea50cb15ec69cd79a88e685dc2fa1d0 (patch) | |
| tree | 3d6ed6aa46437b3b4ac55626f1dd5b5266260ee8 /third_party/eigen3 | |
| parent | 59ae9364cf26302a29ebb397c24bac1093d6b1c9 (diff) | |
Sync the github and local versions of the ThreadPool header
Change: 142169284
Diffstat (limited to 'third_party/eigen3')
| -rw-r--r-- | third_party/eigen3/BUILD | 1 | ||||
| -rw-r--r-- | third_party/eigen3/unsupported/Eigen/CXX11/ThreadPool | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/third_party/eigen3/BUILD b/third_party/eigen3/BUILD index c2abf78e95..a921fa0228 100644 --- a/third_party/eigen3/BUILD +++ b/third_party/eigen3/BUILD @@ -21,6 +21,7 @@ cc_library( "Eigen/QR", "Eigen/SVD", "unsupported/Eigen/SpecialFunctions", + "unsupported/Eigen/CXX11/ThreadPool", "unsupported/Eigen/CXX11/Tensor", "unsupported/Eigen/CXX11/FixedPoint", ], diff --git a/third_party/eigen3/unsupported/Eigen/CXX11/ThreadPool b/third_party/eigen3/unsupported/Eigen/CXX11/ThreadPool new file mode 100644 index 0000000000..d2639af4d9 --- /dev/null +++ b/third_party/eigen3/unsupported/Eigen/CXX11/ThreadPool @@ -0,0 +1 @@ +#include "unsupported/Eigen/CXX11/ThreadPool" |