diff options
Diffstat (limited to 'build-scripts/helpers')
-rw-r--r-- | build-scripts/helpers | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/build-scripts/helpers b/build-scripts/helpers index 0ce9ca4..da9f5f8 100644 --- a/build-scripts/helpers +++ b/build-scripts/helpers @@ -45,11 +45,19 @@ repo-sync-from-mirror () { repo-sync-from-seed () { setup-repo-vars + + export TIMEFORMAT="TIME: Seed download and uncompress: %R" time curl --silent --show-error "$REPO_SEED_URL" | gzip -d -c | tar x + unset TIMEFORMAT + repo init $REPO_QUIET -u "${MANIFEST_REPO}" -b "${MANIFEST_BRANCH}" -m "${MANIFEST_FILENAME}" $REPO_MIRROR --reference=$PWD/$(basename $REPO_SEED_URL .tar.gz) mkdir -p out cp .repo/manifest.xml out/source-manifest.xml + + export TIMEFORMAT="TIME: Repo sync (using seed as reference): %R" time repo sync $REPO_QUIET -j$SYNC_JOBS + unset TIMEFORMAT + repo manifest -r -o out/pinned-manifest.xml } |