Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Development
ThirdParty-common
Issues
#18
Closed
Open
Issue created
Jul 13, 2017
by
Mattijs Janssens
@Mattijs
Maintainer
makeOPENMPI with openmpi-2.1.1 gives configure warning
configure: WARNING: unrecognized options: --disable-mpi-profile