#118: warn if env.sh is sourced more than once
----------------------------+------------------------------------
Reporter: Alexander.Duda | Owner: rock-dev-mailing-list
Type: enhancement | Status: closed
Priority: major | Milestone:
Component: toolchain | Resolution: fixed
Keywords: |
----------------------------+------------------------------------
Changes (by sylvain.joyeux):
* status: new => closed
* resolution: => fixed
Comment:
the second env.sh won't accept being loaded since 1.9.5
--
Ticket URL: <http://rock.opendfki.de/ticket/118#comment:6>
rock <http://rock.opendfki.de>
rock: the robot construction kit
_______________________________________________
Rock-dev mailing list
[email protected]
http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
