diff options
Diffstat (limited to 'env.bash')
-rwxr-xr-x | env.bash | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/env.bash b/env.bash new file mode 100755 index 00000000..d8e5c256 --- /dev/null +++ b/env.bash @@ -0,0 +1,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 |