hwloc: bring back the configure error when external hwloc is >= 2.0#4934
Merged
bwbarrett merged 1 commit intoopen-mpi:v3.1.xfrom Apr 4, 2018
Merged
hwloc: bring back the configure error when external hwloc is >= 2.0#4934bwbarrett merged 1 commit intoopen-mpi:v3.1.xfrom
bwbarrett merged 1 commit intoopen-mpi:v3.1.xfrom