[MacPorts] #45277: valgrind +gcc48 +openmpi patch fails
MacPorts
noreply at macports.org
Sat Nov 7 07:46:16 PST 2015
#45277: valgrind +gcc48 +openmpi patch fails
-----------------------+----------------------
Reporter: majoc@… | Owner: raimue@…
Type: defect | Status: closed
Priority: Normal | Milestone:
Component: ports | Version: 2.3.1
Resolution: fixed | Keywords:
Port: valgrind |
-----------------------+----------------------
Changes (by raimue@…):
* status: new => closed
* resolution: => fixed
Comment:
Patch fixed in r142230.
--
Ticket URL: <https://trac.macports.org/ticket/45277#comment:4>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list