|
||||
File indexing completed on 2024-05-18 08:30:35
0001 #!/bin/bash 0002 # set env vars, for convenience 0003 0004 # add ./bin and ./bin/install to PATH 0005 if [ -z "${BASH_SOURCE[0]}" ]; then wd=$(dirname $(realpath $0)) 0006 else wd=$(dirname $(realpath ${BASH_SOURCE[0]})); fi 0007 PATH=$PATH:$wd/bin 0008 #PATH=$PATH:$wd/install/bin # (instead using prefix $ATHENA_PREFIX) 0009 export PATH 0010 0011 # source detector and juggler environment 0012 source /opt/detector/setup.sh
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.3.5 LXR engine. The LXR team |