aboutsummaryrefslogtreecommitdiff
path: root/build-scripts
diff options
context:
space:
mode:
authorPaul Sokolovsky <paul.sokolovsky@linaro.org>2013-09-23 11:51:20 +0300
committerPaul Sokolovsky <paul.sokolovsky@linaro.org>2013-09-23 11:51:20 +0300
commit1d53a142cd6fe3a4c7fe49c46a9210ed9d2499cd (patch)
treef75223b8c6372a4d8698425029e91f61743e4935 /build-scripts
parent223b0b526587cda726381227b83a095947f40662 (diff)
Improve on previous commit to use repo sync -f, make sure we use normal as last.
To ensure source code integrity.
Diffstat (limited to 'build-scripts')
-rw-r--r--build-scripts/helpers11
1 files changed, 9 insertions, 2 deletions
diff --git a/build-scripts/helpers b/build-scripts/helpers
index 5a9a26b..5c8fc42 100644
--- a/build-scripts/helpers
+++ b/build-scripts/helpers
@@ -27,6 +27,13 @@ setup-repo-vars () {
}
+repo-sync-stubborn () {
+ for i in 1 2; do
+ time repo sync $REPO_QUIET -j$SYNC_JOBS -f || true
+ done
+ time repo sync $REPO_QUIET -j$SYNC_JOBS
+}
+
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
@@ -39,7 +46,7 @@ repo-sync-from-mirror () {
cp processed-manifest.xml .repo/manifest.xml
echo ----------------------------
- time repo sync $REPO_QUIET -j$SYNC_JOBS -f
+ repo-sync-stubborn
# Restore source manifest temporarily to create pinned manifest
cp out/source-manifest.xml .repo/manifest.xml
repo manifest -r -o out/pinned-manifest.xml
@@ -72,7 +79,7 @@ repo-sync-from-seed () {
cp processed-manifest.xml .repo/manifest.xml
export TIMEFORMAT="TIME: Repo sync (using seed as reference): %lR"
- time repo sync $REPO_QUIET -j$SYNC_JOBS -f
+ repo-sync-stubborn
unset TIMEFORMAT
# Restore source manifest temporarily to create pinned manifest