diff options
| author | Vishal Bhoj <vishal.bhoj@linaro.org> | 2015-09-24 21:50:24 +0530 |
|---|---|---|
| committer | Vishal Bhoj <vishal.bhoj@linaro.org> | 2015-09-24 21:50:27 +0530 |
| commit | c4da9e8d0bab997f1a52298c8b805a69cc853ed9 (patch) | |
| tree | 1225a0e6131b8fd0d730566bcf5e6eca0b13d89b | |
| parent | 51a14bfa975502eee2394fd9505780596af3dea1 (diff) | |
Allow git history to be lost while doing a repo sync
Since we apply patches, we run into this issue
where it doesn't overwrite the history hence we need
to force it.
Change-Id: I7811a3bdba8ff9f7cb22d83cc740255ae1a96903
Signed-off-by: Vishal Bhoj <vishal.bhoj@linaro.org>
| -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 27e4662..3380ef0 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 () { |