On Fri, Feb 26, 2016 at 5:21 PM, Emmanuel Thomé
<emmanuel.th...@gmail.com> wrote:
> happens to have an openmpi-1.6.5 installation in /usr, as well as .

Sorry for copy-paste failure. 1.6.5 is only in /usr, of course.

E.

Reply via email to