hwloc: correctly handle --with-hwloc=external#2617

ggouaillardet merged 1 commit intoopen-mpi:masteropen-mpi/ompi:masterfrom

ggouaillardet:topic/with_hwloc_externalggouaillardet/ompi:topic/with_hwloc_externalCopy head branch name to clipboard