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