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