source:
release-kits/mark2/setup.bash@
19556
| Last change on this file since 19556 was 19556, checked in by , 15 years ago | |
|---|---|
| File size: 241 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 | echo "Done" |
| 8 | fi |
| 9 |
Note:
See TracBrowser
for help on using the repository browser.
