diff options
-rw-r--r-- | build-scripts/helpers | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build-scripts/helpers b/build-scripts/helpers index b6c5041..971201e 100644 --- a/build-scripts/helpers +++ b/build-scripts/helpers @@ -45,6 +45,7 @@ repo-sync-from-seed () { setup-repo-vars time curl --silent --show-error "$REPO_SEED_URL" | gzip -d -c | tar x 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 time repo sync $REPO_QUIET -j$SYNC_JOBS repo manifest -r -o out/pinned-manifest.xml |