v2.1.0: build: Custom libmpi(_FOO) name option in configure#2139

jsquyres merged 2 commits intoopen-mpi:v2.xopen-mpi/ompi:v2.xfrom

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