Last change
on this file since 19566 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
|
Rev | Line | |
---|
[19451] | 1 | if [ "$LIRK3_HOME" != "" ]; then
|
---|
| 2 | echo "lirk3 envorinment already set up"
|
---|
| 3 | else
|
---|
[19552] | 4 | home_possibly_relative=`dirname ${BASH_SOURCE:-$0}`
|
---|
| 5 | export LIRK3_HOME="`cd $home_possibly_relative && pwd`"
|
---|
[19556] | 6 | export PATH=$LIRK3_HOME/bin:$PATH
|
---|
[19451] | 7 | fi
|
---|
[19552] | 8 |
|
---|
Note:
See
TracBrowser
for help on using the repository browser.