diff options
author | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2015-06-09 12:10:14 +0000 |
---|---|---|
committer | Linaro Code Review <review@review.linaro.org> | 2015-06-09 12:10:14 +0000 |
commit | 7b829e35c7c91c4341b39915dcf245f769af6da8 (patch) | |
tree | 7d4581f8bfbd39ada68564a3799607704915f7f6 | |
parent | f97132d5e79c453a1162cec4f8929be164295136 (diff) | |
parent | d66a28ab480992525a7ba3e09593592f34472c47 (diff) |
Merge "Add repo seed directory to save space and download time on VPS buildslave"
-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 |