[Rock-dev] [rock] #326: tools/utilmm failed in build phase (next branch)

[rock]

#326: tools/utilmm failed in build phase (next branch)
-------------------------------+------------------------------------
 Reporter:  rdominguez         |       Owner:  rock-dev-mailing-list
     Type:  defect             |      Status:  closed
 Priority:  major              |   Milestone:
Component:  base               |  Resolution:  fixed
 Keywords:  utilmm build_fail  |
-------------------------------+------------------------------------
Changes (by sylvain.joyeux):

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


Comment:

 This is a problem with the one boost version that got updated once on
 12.04. The most recent versions of the boost packages in 12.04 do not have
 this problem anymore, so I suggest that you try updating boost.

-- 
Ticket URL: <https://rock.opendfki.de/ticket/326#comment:1>
rock <https://rock.opendfki.de>
rock: the robot construction kit