Skip to content

Conversation

@ggouaillardet
Copy link
Contributor

@ggouaillardet ggouaillardet commented Apr 1, 2021

This is a one-off commit for the release branch.

Signed-off-by: Gilles Gouaillardet gilles@rist.or.jp

bot:notacherrypick

This is a one-off commit for the release branch.

Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp>
@ggouaillardet
Copy link
Contributor Author

@jsquyres can you please review this?

4.1.0 and 4.1.1rc1 cannot be built when OFI is detected.

Copy link
Member

@bwbarrett bwbarrett left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ooof. Thanks for catching that.

@jsquyres jsquyres merged commit 95ea528 into open-mpi:v4.1.x Apr 5, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants