open-mpi/ompi-release — pull request #5 by jsquyres (2014-10-03 15:47:26+00:00)
Title: Topic/build infrastructure

Bring over the git build infrastructure fixes from master to v1.8.