open-mpi/ompi-release — pull request #83 by jsquyres (2014-11-07 18:31:00+00:00)
Title: Minor configury fixes

Trivial stuff -- but it answers why none of my v1.8 git clone builds have had -g/debugging info in a while!

@rhc54, can you review?