env.bash


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

ROOTDIR=.

if [ -e ./customrc ]; then
    source ./customrc
fi

export PATH=${PATH}:`pwd`/tools/ppetracepp

export SBEROOT=`pwd`

if [ -n "${SANDBOXROOT}" ]; then
    if [ -n "${SANDBOXNAME}" ]; then
        export SANDBOXBASE="${SANDBOXROOT}/${SANDBOXNAME}"
    fi
fi

export DEFAULT_MACHINE=nimbus