Skip to content
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

hwloc: rename the hwloc framework into something else #2954

Closed

Conversation

ggouaillardet
Copy link
Contributor

Refs. #2616

Signed-off-by: Gilles Gouaillardet [email protected]

@ibm-ompi
Copy link

Build Failed with PGI compiler! Please review the log, and get in touch if you have questions.

Gist: https://gist.github.com/e3dc606df6bb24606487f4e95e99060e

@jsquyres
Copy link
Member

I suggest that we might not want to rename anything with the string "xxx" in it. 😳

@ggouaillardet
Copy link
Contributor Author

@jsquyres i cheched hwlocxxx is not used anywhere, so it will be painless to do a sed and a few git mv once we decide the final name for this framework

@ggouaillardet ggouaillardet changed the title hwloc: rename the hwloc framework into hwlocxxx hwloc: rename the hwloc framework into something else Feb 10, 2017
Refs. open-mpi#2616

the leia framework will be renamed into something else later

R.I.P. Carrie Fisher

Signed-off-by: Gilles Gouaillardet <[email protected]>
@rhc54
Copy link
Contributor

rhc54 commented Feb 12, 2017

Please - let's not do this. You are swatting a mosquito with a sledgehammer. There are much simpler solutions to this problem. Will address on the issue.

@rhc54 rhc54 mentioned this pull request Feb 25, 2017
@jsquyres
Copy link
Member

We went with #2955 instead of this one.

@jsquyres jsquyres closed this Feb 28, 2017
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.

4 participants