v2.0.2: build: Custom libmpi(_FOO) name option in configure#2138

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

jjhursey:cp-v2.0.x/custom-libmpijjhursey/ompi:cp-v2.0.x/custom-libmpiCopy head branch name to clipboard