Merge pull request #18907 from yongtang/18363-mpi
authorekelsen <ekelsen@gmail.com>
Thu, 26 Apr 2018 22:30:35 +0000 (15:30 -0700)
committerGitHub <noreply@github.com>
Thu, 26 Apr 2018 22:30:35 +0000 (15:30 -0700)
commit5cd6a8d1edff984de5b8e08a579d96235137c38b
tree586b8919dca880aea435550c9af3f403a6f171f1
parentd0b961306a35fdc1b2d2c09b53ad85116d5f40fb
parent26b2814096bf6d9dd0af91a37a0706e17450b9ec
Merge pull request #18907 from yongtang/18363-mpi

Fix build error with MPI support