Changeset 20808

Show
Ignore:
Timestamp:
12.10.2009 15:46:50 (10 years ago)
Author:
anna
Message:

little bug fix

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • release-kits/mark2/setup.sh

    r19566 r20808  
    22    echo "mark2 envorinment already set up" 
    33else 
    4     home_possibly_relative=`dirname ${BASH_SOURCE:-$0}` 
     4    home_possibly_relative=`dirname $BASH_SOURCE[0]` 
    55    export MARK2_HOME="`cd $home_possibly_relative && pwd`" 
    66    export PATH=$MARK2_HOME/bin:$PATH