diff options
-rw-r--r-- | build-scripts/build-android | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build-scripts/build-android b/build-scripts/build-android index 43a236c..ca3d245 100644 --- a/build-scripts/build-android +++ b/build-scripts/build-android @@ -61,9 +61,9 @@ else wget -nv --no-check-certificate $TOOLCHAIN_URL fi - # Remove any old local manifest which can break repo init if duplicate repository - # are found - rm -rf .repo/local_manifests + # Remove any old local manifest and manifest which can break repo init if + # duplicate repository are found or forceful manifest update + rm -rf .repo/local_manifests .repo/manifest* if [ -n "$REPO_SEED_URL" ]; then repo-sync-from-seed "${1}" |