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 | |
| 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.
