[Rock-dev] [rock] #352: tools/utilrb does not build

[rock]

#352: tools/utilrb does not build
----------------------------+------------------------------------
 Reporter:  malte.wirkus@…  |       Owner:  rock-dev-mailing-list
     Type:  defect          |      Status:  closed
 Priority:  major           |   Milestone:
Component:  toolchain       |  Resolution:  fixed
 Keywords:                  |
----------------------------+------------------------------------
Changes (by sylvain.joyeux):

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


Comment:

 Don't know why it does not trigger on jenkins / other builds, but anyways.

 I've just removed the last references to 'swap' (including Manifest.txt as
 you suggested). Hopefully it is working for you now. Reopen if it is not.

 Thanks !

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