diff options
| author | Magnus Feuer <mfeuer@jaguarlandrover.com> | 2015-11-22 13:43:11 -0800 |
|---|---|---|
| committer | Magnus Feuer <mfeuer@jaguarlandrover.com> | 2015-11-22 13:43:11 -0800 |
| commit | 92a3386e13bd9b52176935ff2576eb00df2d2346 (patch) | |
| tree | 2daab3d5c53e4de537cbf4019e361afce1d1f3e3 /scripts | |
| parent | 5ea300f74d6af8ec02883c153834685f86ffb8ee (diff) | |
| download | rvi_core-92a3386e13bd9b52176935ff2576eb00df2d2346.tar.gz | |
Debugged.
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/rvi.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/rvi.sh b/scripts/rvi.sh index b1bf79a..4dd754c 100644 --- a/scripts/rvi.sh +++ b/scripts/rvi.sh @@ -78,8 +78,6 @@ then fi export ERL_LIBS=${SELF_DIR}/rvi:${SELF_DIR}/rvi/deps:${SELF_DIR}/rvi/components -TMP_DIR=/tmp/rvi/$(basename ${CONFIG_FILE} .config) -LOG_DIR=${LOG_DIR:=${TMP_DIR}/log} # Check that we have a config dir @@ -137,6 +135,8 @@ then fi fi +TMP_DIR=/tmp/rvi/$(basename ${CONFIG_FILE} .config) +LOG_DIR=${LOG_DIR:=${TMP_DIR}/log} LAUNCH="${ERL} -boot ${CONFIG_DIR}/rvi/start -sname ${SNAME} -config ${CONFIG_DIR}/rvi/sys -setcookie ${COOKIE}" |