Skip to content

Conversation

@jsquyres
Copy link
Member

@jsquyres jsquyres commented Nov 5, 2020

Cherry pick some recent getdate.sh fixes from master.

Jeff Squyres added 2 commits November 5, 2020 12:16
Signed-off-by: Jeff Squyres <jsquyres@cisco.com>
(cherry picked from commit 91a5af8)
No code or logic changes.

Add commit about why it's ok to use $srcdir here
(vs. $OMPI_TOP_SRCDIR).

Signed-off-by: Jeff Squyres <jsquyres@cisco.com>
(cherry picked from commit a6a0d51)
@jsquyres jsquyres added this to the v4.1.0 milestone Nov 5, 2020
@jsquyres jsquyres requested a review from rhc54 November 5, 2020 20:17
@jsquyres jsquyres merged commit fd39daa into open-mpi:v4.1.x Nov 5, 2020
@jsquyres jsquyres deleted the pr/v4.1.x/getdate-fixes branch November 5, 2020 23:04
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.

2 participants