v2.0.x: hwloc: correctly handle --with-hwloc=external#2618

ggouaillardet wants to merge 1 commit intoopen-mpi:v2.0.xopen-mpi/ompi:v2.0.xfrom

ggouaillardet:topic/v2.0.x/with_hwloc_externalggouaillardet/ompi:topic/v2.0.x/with_hwloc_externalCopy head branch name to clipboard