Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
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
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