[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           |  Component:  toolchain
Keywords:                  |
---------------------------+-----------------------------------
 At the moment you can easily source the env.sh from two projects at the
 same time. It would be good to warn the user if certain environment
 variables are already exported.

 Use case:
 someone added env.sh to the bash.rc

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