|
Last change
on this file since 19594 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.
