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