|
Last change
on this file since 19552 was 19552, checked in by oranfry, 15 years ago |
|
use name 'setup.bash' as setup.sh seems to be a bad choice (some sort of reserved name), and allow the scripts to be sourced from anywhere
|
|
File size:
293 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 ANT_HOME=$MARK2_HOME/core/ant
|
|---|
| 7 | export PATH=$MARK2_HOME/bin:$ANT_HOME/bin:$PATH
|
|---|
| 8 | echo "Done"
|
|---|
| 9 | fi
|
|---|
| 10 |
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
