# sample .profile for vsx4 test user 
# This is installed and configured at build time.
# It is installed as the file profile in the HOME
# directory of the test user. It is dot'd in by
# the .profile
HOME=`pwd`
TET_ROOT=/home/tet
# Initial transition to using a central copy of the 
# TET framework. We assume that at build time we 
# use the TET in the parent directory. For runtime
# execution if this does not exist try and use 
# a central copy . The path name of that central
# copy is known since its a LANANA registered package
if [ ! -x $TET_ROOT/bin/tcc ]
then
    if [ ! -x /opt/lsb-tet3-lite/bin/tcc ]
    then
        printf "tcc not found, aborting\n"
	exit 1
    fi
    TET_ROOT=/opt/lsb-tet3-lite
    MANPATH=$MANPATH:$TET_ROOT/man
    TET_SUITE_ROOT=/home/tet
    TET_EXECUTE=$TET_SUITE_ROOT/test_sets/TESTROOT
    export TET_SUITE_ROOT MANPATH
else
    TET_EXECUTE=$TET_ROOT/test_sets/TESTROOT
fi
PATH=$TET_ROOT/bin:$HOME/BIN:$TET_EXECUTE/BIN:$PATH
export TET_EXECUTE TET_ROOT PATH

# 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)
}


# display last journal
jl()
{
(cd $HOME/results; less `ls -d 0* | tail -1`/journal)
}

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

