Skip to content

Conversation

@jsquyres
Copy link
Member

@jsquyres jsquyres commented Apr 13, 2022

Arrgh -- this accidentally made it through #10224; I didn't notice it until I was making the corresponding v5.0.x cherry-pick PR (#10270).


Adding "-j12" to the mflags was intended as a debuggin aid; it
accidentally slipped through and was merged as part of
#10224.

Signed-off-by: Jeff Squyres [email protected]

Adding "-j12" to the mflags was intended as a debuggin aid; it
accidentally slipped through and was merged as part of
open-mpi#10224.

Signed-off-by: Jeff Squyres <[email protected]>
@awlauria awlauria merged commit 04f6142 into open-mpi:main Apr 13, 2022
@jsquyres jsquyres deleted the pr/remove-rpmbuild-mflags branch April 13, 2022 13:34
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