Re: [OctDev] Cann't make openmpi_ext working on Ubuntu 12.04 x86_64

[Dmitry S. K. <idk...@gm...>]

Update: Error seems happening only at finalization, so I can perform
normally any usefull job before MPI_Finalize(); and than I got 100% chance
to crash.
-- 
Dmitry S. Kravtsov