diff options
author | Vishal Bhoj <vishal.bhoj@linaro.org> | 2015-06-08 15:58:36 +0530 |
---|---|---|
committer | Vishal Bhoj <vishal.bhoj@linaro.org> | 2015-06-08 23:07:30 +0530 |
commit | d66a28ab480992525a7ba3e09593592f34472c47 (patch) | |
tree | 405bf1d3f1c5d38c58488460fd9b934f60f4067e | |
parent | 299051697dbdbfaf1488c120aa9d5b88060bb29e (diff) |
Add repo seed directory to save space and download time on VPS buildslave
Change-Id: Iad6e0ad59d7db279cd7a5c734253617b2ef0dc44
Signed-off-by: Vishal Bhoj <vishal.bhoj@linaro.org>
-rw-r--r-- | build-scripts/helpers | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/build-scripts/helpers b/build-scripts/helpers index 2511051..df8264a 100644 --- a/build-scripts/helpers +++ b/build-scripts/helpers @@ -36,7 +36,13 @@ repo-sync-stubborn () { repo-sync-from-mirror () { setup-repo-vars - repo init $REPO_QUIET -u "${MANIFEST_REPO}" -b "${MANIFEST_BRANCH}" -m "${MANIFEST_FILENAME}" $REPO_MIRROR -g $REPO_GROUPS + + if [ -d "$REPO_SEED_DIR" ]; then + repo init $REPO_QUIET -u "${MANIFEST_REPO}" -b "${MANIFEST_BRANCH}" -m "${MANIFEST_FILENAME}" $REPO_MIRROR -g $REPO_GROUPS --reference=$REPO_SEED + else + repo init $REPO_QUIET -u "${MANIFEST_REPO}" -b "${MANIFEST_BRANCH}" -m "${MANIFEST_FILENAME}" $REPO_MIRROR -g $REPO_GROUPS --depth=1 + fi + # Save input manifest as build artifact for reference mkdir -p out cp .repo/manifest.xml out/source-manifest.xml |