# sample profile for tet3
TET_ROOT=/opt/lsb-tet3-lite
PATH=$TET_ROOT/bin:$PATH
MANPATH=$MANPATH:$TET_ROOT/man
export TET_ROOT PATH MANPATH

# useful shell functions for TET
tccb()
{
tcc -b -s $HOME/scen.bld $*
}

tcce()
{
tcc -e -s $HOME/scen.exec $*
}

tccc()
{
tcc -c -s $HOME/scen.bld $*
}

jrpt()
{
(cd $HOME/results; vrpt -l ${1-area} -HP `ls -d 0* | tail -1`/journal | less)
}

jx()
{
(cd $HOME/results; vres `ls -d 0* | tail -1`/journal | less)
}
