source:
release-kits/mark3/setup.bash@
19556
Last change on this file since 19556 was 19556, checked in by , 15 years ago | |
---|---|
File size: 241 bytes |
Line | |
---|---|
1 | if [ "$MARK3_HOME" != "" ]; then |
2 | echo "mark3 envorinment already set up" |
3 | else |
4 | home_possibly_relative=`dirname ${BASH_SOURCE:-$0}` |
5 | export MARK3_HOME="`cd $home_possibly_relative && pwd`" |
6 | export PATH=$MARK3_HOME/bin:$PATH |
7 | echo "Done" |
8 | fi |
9 |
Note:
See TracBrowser
for help on using the repository browser.