root/release-kits/mark2/setup.sh @ 20808

Revision 20808, 225 bytes (checked in by anna, 10 years ago)

little bug fix

Line 
1if [ "$MARK2_HOME" != "" ]; then
2    echo "mark2 envorinment already set up"
3else
4    home_possibly_relative=`dirname $BASH_SOURCE[0]`
5    export MARK2_HOME="`cd $home_possibly_relative && pwd`"
6    export PATH=$MARK2_HOME/bin:$PATH
7fi
8
Note: See TracBrowser for help on using the browser.