Skip to content

Conversation

@bgoglin
Copy link
Contributor

@bgoglin bgoglin commented May 3, 2016

instead of doing AC_CHECK_HEADERS+AC_CHECK_LIB and only using the result of the former.

Thanks to Paul Hargrove for reporting the issue (OMPI build with -m32).

(cherry picked from open-mpi/hwloc@9549fd5)

instead of doing AC_CHECK_HEADERS+AC_CHECK_LIB and only using the result of the former.

Thanks to Paul Hargrove for reporting the issue (OMPI build with -m32).

(cherry picked from open-mpi/hwloc@9549fd5)
@jsquyres
Copy link
Member

jsquyres commented May 3, 2016

👍

@jsquyres jsquyres merged commit cc53fea into open-mpi:master May 3, 2016
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