configury: look for PMI header in DIR provided by --with-pmi=DIR#4864

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

ggouaillardet:topic/pmix_configuryggouaillardet/ompi:topic/pmix_configuryCopy head branch name to clipboard