[Rock-dev] [rock] #236: tarball package directory deletion not followed by checkout

[rock]

#236: tarball package directory deletion not followed by checkout
------------------------------+------------------------------------
 Reporter:  alco01            |       Owner:  rock-dev-mailing-list
     Type:  defect            |      Status:  closed
 Priority:  normal            |   Milestone:
Component:  toolchain         |  Resolution:  fixed
 Keywords:  autoproj tarball  |
------------------------------+------------------------------------
Changes (by sylvain.joyeux):

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


Comment:

 The upgrade was handled by a bit of autobuild hackery. This is now
 properly handled by autobuild itself, so it should not happen anymore.

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