Last change
on this file since 20638 was 19566, checked in by oranfry, 15 years ago |
setup.sh is not reserved after all, it was just that another setup.sh was on the path meaning 'source setup.sh' ran that one
|
File size:
228 bytes
|
Line | |
---|
1 | if [ "$LIRK3_HOME" != "" ]; then
|
---|
2 | echo "lirk3 envorinment already set up"
|
---|
3 | else
|
---|
4 | home_possibly_relative=`dirname ${BASH_SOURCE:-$0}`
|
---|
5 | export LIRK3_HOME="`cd $home_possibly_relative && pwd`"
|
---|
6 | export PATH=$LIRK3_HOME/bin:$PATH
|
---|
7 | fi
|
---|
8 |
|
---|
Note:
See
TracBrowser
for help on using the repository browser.