[Rock-dev] [rock] #260: autoproj: Debian build problems

[rock]

#260: autoproj: Debian build problems
-----------------------------+------------------------------------
 Reporter:  Stefan.Haase@…   |       Owner:  rock-dev-mailing-list
     Type:  defect           |      Status:  closed
 Priority:  minor            |   Milestone:
Component:  toolchain        |  Resolution:  fixed
 Keywords:  autoproj Debian  |
-----------------------------+------------------------------------
Changes (by stha02):

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


Comment:

 Thanks for the reply. Re-run 'autoproj envsh' on the buildserver in case
 of failure is problematic ;), but you are right: The package just installs
 some files, so the base/types dependency has not be included.

 Thanks again!

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