Skip to content
Commit 56c6b436 authored by Frederik Rietdijk's avatar Frederik Rietdijk Committed by GitHub
Browse files

Merge pull request #18148 from adevress/master-openmpi 

openmpi: fix libtool issue  #18147 by stripping libtool *.la files
parents d86114cb 2a79d296
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment