diff options
author | Michele Calgaro <[email protected]> | 2018-08-15 21:16:17 +0900 |
---|---|---|
committer | Michele Calgaro <[email protected]> | 2018-08-15 21:16:17 +0900 |
commit | 0fa81ca69021534e6aeadad487387643666874bc (patch) | |
tree | cbe5882bdab5fe66c1d5f355f98ccf7c42a33779 /debian | |
parent | 069e331060a18dd43396533f7b944cfa3d05d254 (diff) | |
download | tde-packaging-0fa81ca69021534e6aeadad487387643666874bc.tar.gz tde-packaging-0fa81ca69021534e6aeadad487387643666874bc.zip |
DEB build scripts: remove dead branches from all "remote"s, not only
from "origin"
Signed-off-by: Michele Calgaro <[email protected]>
Diffstat (limited to 'debian')
-rwxr-xr-x | debian/_buildscripts/local/update_repositories.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/_buildscripts/local/update_repositories.sh b/debian/_buildscripts/local/update_repositories.sh index 5c0f5aa45..8975d0d93 100755 --- a/debian/_buildscripts/local/update_repositories.sh +++ b/debian/_buildscripts/local/update_repositories.sh @@ -77,6 +77,9 @@ function _do_update() eval git reset --hard HEAD $OPT_VERBOSE_LOG eval git clean -dxff $OPT_VERBOSE_LOG eval git fetch $OPT_VERBOSE_LOG + for _remote in `git remote`; do + eval git remote prune $_remote $OPT_VERBOSE_LOG + done if [[ $(git rev-parse HEAD) != $(git rev-parse "origin/$BRANCH") ]]; then eval git pull --rebase $GIT_NO_RECURSE_SUBMODULES $OPT_VERBOSE_LOG if [[ `git rev-parse HEAD` == `git rev-parse "origin/$BRANCH"` ]]; then |