I did the conversion again, and then added the commits that we've put on github since the original conversion (but I squashed most of them). I put the resulting repo here:
https://github.com/jsquyres/hwloc-convert-again Does this look ok to everyone? If so, I can kill the existing githib/open-mpi/hwloc and replace it with this one. -- Jeff Squyres jsquy...@cisco.com For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/