diff options
author | Vishal Bhoj <vishal.bhoj@linaro.org> | 2016-06-14 20:14:36 +0530 |
---|---|---|
committer | Vishal Bhoj <vishal.bhoj@linaro.org> | 2016-06-14 20:14:39 +0530 |
commit | a10f6b26671eebf5b2fb183d55feb02dfd57d76d (patch) | |
tree | 5b0a6618e39f918b3d6ecb28f75b291f8d521ff7 | |
parent | 9445ec0cb350e885832705b86fbab6f64acb4d00 (diff) |
remove local_manifest before repo init
We need to remove it so that it doesn't cause any
conflicts if local_manifest has duplicate repository
Change-Id: I5ffad3a841dd995ee2436d2956e698df28b1e857
Signed-off-by: Vishal Bhoj <vishal.bhoj@linaro.org>
-rw-r--r-- | build-scripts/build-android | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/build-scripts/build-android b/build-scripts/build-android index d259438..5afa9ed 100644 --- a/build-scripts/build-android +++ b/build-scripts/build-android @@ -61,6 +61,10 @@ 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 + if [ -n "$REPO_SEED_URL" ]; then repo-sync-from-seed "${1}" else |