Skip to content

Fix script abstraction break: mv make_manpage.pl to config #5526

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

Conversation

jsquyres
Copy link
Member

@jsquyres jsquyres commented Aug 8, 2018

Having the "make_manpage.pl" script in the ompi/ tree broke
"./autogen.pl --no-ompi" (specifically: "make distcheck" of --no-ompi
builds would break).

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

Having the "make_manpage.pl" script in the ompi/ tree broke
"./autogen.pl --no-ompi" (specifically: "make distcheck" of --no-ompi
builds would break).

Signed-off-by: Jeff Squyres <[email protected]>
@jsquyres jsquyres added the bug label Aug 8, 2018
@jsquyres jsquyres requested a review from rhc54 August 8, 2018 15:53
@jsquyres
Copy link
Member Author

jsquyres commented Aug 8, 2018

@gpaulsen @hppritcha Do you want this on v4.0.x? It's definitely a bug, but it's a pretty minor one.

Copy link
Contributor

@rhc54 rhc54 left a comment

Choose a reason for hiding this comment

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

Yeah, I already had to do this elsewhere. Sorry for not upstreaming it.

@jsquyres
Copy link
Member Author

jsquyres commented Aug 8, 2018

DNS failure in ARM CI testing: "stderr: fatal: unable to access 'https://github.com/open-mpi/ompi/': Could not resolve host: github.com"

bot:retest

@jsquyres
Copy link
Member Author

jsquyres commented Aug 8, 2018

DNS failure on ARM CI again. 😦

@jsquyres
Copy link
Member Author

jsquyres commented Aug 9, 2018

See if ARM CI fixed their DNS problem yet...

bot:ompi:retest

@jsquyres jsquyres merged commit 6a2891e into open-mpi:master Aug 9, 2018
@jsquyres jsquyres deleted the pr/man-page-script-abstraction-break branch August 9, 2018 12:31
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