openmpi: fix libtool issue #18147 by stripping libtool *.la files
Adrien Devresse 9 years ago 2a79d296 7b3a3613