802c89680a
Fix problem reported by Paul Hargrove: http://www.open-mpi.org/community/lists/devel/2013/12/13519.php cmr=v1.7.4:reviewer=brbarret This commit was SVN r30013.