Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

{mpi}[GCC/6.3.0-2.27] OpenMPI: Remove duplicate sources specification #4150

Merged
merged 1 commit into from Feb 16, 2017
Merged

{mpi}[GCC/6.3.0-2.27] OpenMPI: Remove duplicate sources specification #4150

merged 1 commit into from Feb 16, 2017

Conversation

geimer
Copy link
Contributor

@geimer geimer commented Feb 16, 2017

Probably a leftover from some experimentation?

@boegel
Copy link
Member

boegel commented Feb 16, 2017

lgtm

@boegel boegel added this to the 3.2.0 milestone Feb 16, 2017
@boegel
Copy link
Member

boegel commented Feb 16, 2017

Test report by @boegel
SUCCESS
Build succeeded for 1 out of 1 (1 easyconfigs in this PR)
node2086.delcatty.os - Linux centos linux 7.3.1611, Intel(R) Xeon(R) CPU E5-2670 0 @ 2.60GHz, Python 2.7.5
See https://gist.github.com/af2af0f48d750af525de6bdced06181b for a full test report.

@boegel
Copy link
Member

boegel commented Feb 16, 2017

Going in, thanks @geimer!

@boegel boegel merged commit 3ae9624 into easybuilders:develop Feb 16, 2017
@geimer geimer deleted the fix_openmpi_sources branch February 17, 2017 08:13
@boegel boegel modified the milestones: 3.2.0, 3.1.1 Feb 28, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
3.1.1
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@geimer @boegel