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