Skip to content
GitLab
Explore
Sign in
Register
Development
ThirdParty-common
Issues
#18
makeOPENMPI with openmpi-2.1.1 gives configure warning
configure: WARNING: unrecognized options: --disable-mpi-profile