open-mpi/ompi — pull request #274 by jsquyres (2014-11-16 20:46:34+00:00)
Title: opal_check_portals.m4: remove this unused file

It looks like OPAL_CHECK_PORTALS is not used anywhere; it looks like it has been completely replaced by opal_check_portals4.m4 (OPAL_CHECK_PORTALS4).

@tkordenbrock @regrant Can you guys confirm? If so, please complete this PR. Thanks!