[Rock-dev] [rock] #118: warn if env.sh is sourced more than once

[rock]

#118: warn if env.sh is sourced more than once
----------------------------+------------------------------------
 Reporter:  Alexander.Duda  |       Owner:  rock-dev-mailing-list
     Type:  enhancement     |      Status:  new
 Priority:  major           |   Milestone:  Rock Release
Component:  toolchain       |  Resolution:
 Keywords:                  |
----------------------------+------------------------------------
Changes (by sylvain.joyeux):

 * milestone:   => Rock Release


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