From 12cb58a565106101515b2b39ceefcb39aff48823 Mon Sep 17 00:00:00 2001 From: Javier Viguera Date: Wed, 21 Oct 2015 10:56:06 +0200 Subject: [PATCH] build scripts: remove stale branches before sync'ing Signed-off-by: Javier Viguera (cherry picked from commit 8b30168930e65debc2c3a7b54e6b86e16784b50e) --- sdk/build-github.sh | 3 ++- sdk/build.sh | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/sdk/build-github.sh b/sdk/build-github.sh index 47e1ba13f..339e813ba 100755 --- a/sdk/build-github.sh +++ b/sdk/build-github.sh @@ -125,7 +125,8 @@ if pushd ${YOCTO_INST_DIR}; then fi fi yes "" 2>/dev/null | ${REPO} init --no-repo-verify -u ${MANIFEST_URL} ${repo_revision} - time ${REPO} sync ${MAKE_JOBS} + ${REPO} forall -p -c 'git remote prune $(git remote)' + time ${REPO} sync -d ${MAKE_JOBS} popd fi diff --git a/sdk/build.sh b/sdk/build.sh index b2886011f..e8a3cd89f 100755 --- a/sdk/build.sh +++ b/sdk/build.sh @@ -167,7 +167,8 @@ if pushd ${YOCTO_INST_DIR}; then fi fi yes "" 2>/dev/null | ${REPO} init --no-repo-verify -u ${MANIFEST_URL} ${repo_revision} - time ${REPO} sync ${MAKE_JOBS} + ${REPO} forall -p -c 'git remote prune $(git remote)' + time ${REPO} sync -d ${MAKE_JOBS} popd fi