diff options
| author | Magnus Feuer <mfeuer@jaguarlandrover.com> | 2015-11-22 13:43:29 -0800 |
|---|---|---|
| committer | Magnus Feuer <mfeuer@jaguarlandrover.com> | 2015-11-22 13:43:29 -0800 |
| commit | 688a0f64243dd158281945a9aa87b5048e27a516 (patch) | |
| tree | 45bfea30306b77cf8d6ba474b10f3b77ae7aa955 /scripts | |
| parent | d7ddf7926c34a4ebfaca059580c38cd0729145b8 (diff) | |
| parent | 92a3386e13bd9b52176935ff2576eb00df2d2346 (diff) | |
| download | rvi_core-688a0f64243dd158281945a9aa87b5048e27a516.tar.gz | |
Merge branch 'release-0.4.0-yocto_makefile'
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}" |