diff options
author | Riku Voipio <riku.voipio@linaro.org> | 2013-06-06 08:46:08 +0300 |
---|---|---|
committer | Riku Voipio <riku.voipio@linaro.org> | 2013-06-06 08:46:08 +0300 |
commit | 93b44efa48e44ba3b7ed251a6c9b46f07c69505c (patch) | |
tree | 1a880ef183e8e228997fd9d43f10d70ea44d19a5 /init-and-build.sh | |
parent | 5039285d45a1f0bb74d78426337b6228e7038167 (diff) |
cleanup pre-build
Diffstat (limited to 'init-and-build.sh')
-rwxr-xr-x | init-and-build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/init-and-build.sh b/init-and-build.sh index a1c3544..7ce2b05 100755 --- a/init-and-build.sh +++ b/init-and-build.sh @@ -32,6 +32,7 @@ shift $(( OPTIND-1 )) if [ -n "${WORKSPACE}" ]; then jenkins=1 + WORKBASE=/mnt/ci_build/workspace fi show_setup @@ -46,6 +47,7 @@ conf_siteconf conf_localconf conf_toolchain conf_jenkins +cleanup_soft # workaround for LP: #1183087 if [ $jenkins ]; then |