Last change
on this file since 20636 was 19566, checked in by oranfry, 15 years ago |
setup.sh is not reserved after all, it was just that another setup.sh was on the path meaning 'source setup.sh' ran that one
|
File size:
228 bytes
|
Line | |
---|
1 | if [ "$MARK2_HOME" != "" ]; then
|
---|
2 | echo "mark2 envorinment already set up"
|
---|
3 | else
|
---|
4 | home_possibly_relative=`dirname ${BASH_SOURCE:-$0}`
|
---|
5 | export MARK2_HOME="`cd $home_possibly_relative && pwd`"
|
---|
6 | export PATH=$MARK2_HOME/bin:$PATH
|
---|
7 | fi
|
---|
8 |
|
---|
Note:
See
TracBrowser
for help on using the repository browser.