diff options
author | Pedro Alvarez <pedro.alvarez@codethink.co.uk> | 2016-02-21 17:10:03 +0000 |
---|---|---|
committer | Pedro Alvarez <pedro.alvarez@codethink.co.uk> | 2016-02-21 17:10:07 +0000 |
commit | dc6f07cc248f8b1a0e03cfb8c6c501443e2e68c4 (patch) | |
tree | c41a137126631714ded0fc80974833827983183d | |
parent | 3deb84bea4c0f04f9bb28a8910258a2e1ee03c62 (diff) | |
download | definitions-dc6f07cc248f8b1a0e03cfb8c6c501443e2e68c4.tar.gz |
mason: Move Mason definitions clone to /ws
It's being created in /srv/distbuild at the moment, and mason-report.sh is
cleaning that folder after every run.
Change-Id: If589b07149bbaa71aacfd33efe68050deafa3620
-rwxr-xr-x | extensions/mason/mason.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/extensions/mason/mason.sh b/extensions/mason/mason.sh index 6f2a62b1..8b2cea5f 100755 --- a/extensions/mason/mason.sh +++ b/extensions/mason/mason.sh @@ -11,7 +11,9 @@ set -x # Load our deployment config . /etc/mason.conf -definitions_repo=mason-definitions-"$DEFINITIONS_REF" +mkdir -p /ws + +definitions_repo=/ws/mason-definitions-"$DEFINITIONS_REF" if [ ! -e "$definitions_repo" ]; then git clone -b "$DEFINITIONS_REF" git://"$UPSTREAM_TROVE_ADDRESS"/baserock/baserock/definitions "$definitions_repo" cd "$definitions_repo" |