Skip to content
GitLab
Explore
Sign in
Autotools update
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Autotools update
Peter W. Draper
requested to merge
autotools-update
into
master
Jul 24, 2015
Overview
0
Commits
1
Changes
Check that we have at least OpenMPI version 1.8.6 and warn if we do not.
Merge request reports
Loading