Skip to content

Conversation

@mwheinz
Copy link

@mwheinz mwheinz commented Apr 29, 2019

Refs #6614

make-authors.pl checks that .git exists and is a directory before
getting the git log - but when a repo is checked out as a submodule of a
larger repository, .git is not a directory, it's just a text file. This
can cause make-authors.pl to terminate inappropriately.

Author: Michael Heinz [email protected]
Signed-off-by: Michael Heinz [email protected]
(cherry picked from commit 0a8fa54)

make-authors.pl checks that .git exists and is a directory before
getting the git log - but when a repo is checked out as a submodule of a
larger repository, .git is not a directory, it's just a text file.  This
can cause make-authors.pl to terminate inappropriately.

Author: Michael Heinz <[email protected]>
Signed-off-by: Michael Heinz <[email protected]>
(cherry picked from commit 0a8fa54)
@jsquyres jsquyres changed the title make-authors.pl script not compatible with being a submodule. v4.0.x: make-authors.pl script not compatible with being a submodule. Apr 29, 2019
@jsquyres jsquyres added this to the v4.0.2 milestone Apr 29, 2019
@hppritcha hppritcha added the NEWS label Apr 30, 2019
@hppritcha hppritcha merged commit 888d014 into open-mpi:v4.0.x Apr 30, 2019
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