Merge pull request #20390 from case540/eigen_pip_cherry_pick
authorMichael Case <mikecase@google.com>
Thu, 28 Jun 2018 21:42:25 +0000 (14:42 -0700)
committerGitHub <noreply@github.com>
Thu, 28 Jun 2018 21:42:25 +0000 (14:42 -0700)
commit04670fd4b81b2cc0acb2e91462df0fc34b28af72
treeab9a921b3fb28d401537d2b57728b1d80eda8571
parent89499cbd22b5a9d0b444bdc3098566f62fb93e77
parentf93e1b07282216d77e9d7d704f6722a893e9ef73
Merge pull request #20390 from case540/eigen_pip_cherry_pick

Fix install location for Eigen headers in pip build.