[BuildTools-tickets] [BuildTools] #62: header check in COIN_HAS_MUMPS

[BuildTools]

#62: header check in COIN_HAS_MUMPS
-------------------+--------------------------------------------------------
Reporter:  stefan  |        Owner:  andreasw           
    Type:  defect  |       Status:  closed             
Priority:  minor   |    Component:  configuration tests
 Version:  0.5     |   Resolution:  fixed              
Keywords:          |  
-------------------+--------------------------------------------------------
Changes (by andreasw):

  * status:  new => closed
  * resolution:  => fixed

Comment:

 Thanks for noticing.  I fixed it in trunk (BuildTools and Ipopt).

 Please try again...

-- 
Ticket URL: <https://projects.coin-or.org/BuildTools/ticket/62#comment:1>
BuildTools <http://projects.coin-or.org/BuildTools>
Tools for configuring and compiling COIN-OR codes