Re: [MacPorts] #45277: valgrind +gcc48 +openmpi patch fails

7 Nov 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