Skip to content
This repository was archived by the owner on Sep 30, 2022. It is now read-only.

Conversation

@jsquyres
Copy link
Member

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).

(cherry picked from commit open-mpi/ompi@225c684)

@regrant @tkordenbrock please confirm that this removal is ok. I committed this on master in Nov 2014 -- looks like it never made it over to v1.8 (and therefore didn't make it to v1.10).

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).

(cherry picked from commit open-mpi/ompi@225c684)
@tkordenbrock
Copy link
Member

Looks good. 👍

@jsquyres
Copy link
Member Author

@tkordenbrock Hah! I didn't know about the "thumbsup" version of the emoticon. If you do the "+1", version, the bot will add the "reviewed" label, and it uses the same emoticon as "thumbsup". Like this: 👍

(I'll go add "thumbsup" to the bot's vocabulary...)

@tkordenbrock
Copy link
Member

@jsquyres Ahh. I guess that explains why the auto-complete suggested "+1" as I was typing "thumbsup".

@jsquyres
Copy link
Member Author

rhc54 pushed a commit that referenced this pull request Aug 20, 2015
opal_check_portals.m4: remove this unused file
@rhc54 rhc54 merged commit 3a22566 into open-mpi:v1.10 Aug 20, 2015
@jsquyres jsquyres deleted the pr/remove-ompi-check-portals.m4 branch February 3, 2016 22:12
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants