85d7678350
Sorry for configure changes during the day; I totally forgot about that. :-( This commit was SVN r14288. The following SVN revision numbers were found above: r14286 --> open-mpi/ompi@0083eba18e