#25829: openmpi 1.4.1 : valgrind support ----------------------------------+----------------------------------------- Reporter: dechaume@… | Owner: mww@… Type: enhancement | Status: closed Priority: Normal | Milestone: Component: ports | Version: Resolution: fixed | Keywords: Port: openmpi | ----------------------------------+----------------------------------------- Changes (by jmr@…): * status: new => closed * resolution: => fixed Comment: r80571 -- Ticket URL: <https://trac.macports.org/ticket/25829#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS