diff options
| -rw-r--r-- | build-scripts/helpers | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-scripts/helpers b/build-scripts/helpers index 2511051..c8488a7 100644 --- a/build-scripts/helpers +++ b/build-scripts/helpers @@ -29,9 +29,9 @@ setup-repo-vars () { repo-sync-stubborn () { for i in 1 2; do - time repo sync $REPO_QUIET -j$SYNC_JOBS -f || true + time repo sync --force-sync $REPO_QUIET -j$SYNC_JOBS -f || true done - time repo sync $REPO_QUIET -j$SYNC_JOBS + time repo sync --force-sync $REPO_QUIET -j$SYNC_JOBS } repo-sync-from-mirror () { |