v5.0.x: configure: --with-prrte=internal would be ignored#13226

janjust merged 1 commit intoopen-mpi:v5.0.xopen-mpi/ompi:v5.0.xfrom

jsquyres:pr/v5.0.x/fix-prte-internal-cli-optionjsquyres/ompi:pr/v5.0.x/fix-prte-internal-cli-optionCopy head branch name to clipboard