Merge branch 'master' of ssh://git.xonotic.org/xonotic

[xonotic/xonotic.git] / all

diff --git a/all b/all
index ff6211fc3f8f6ca6a30a4685e348239a280f1626..c062d95684653c1a63a93d5f63d1b403c71da1c7 100755 (executable)
--- a/all
+++ b/all
@@ -56,6 +56,7 @@ case "$cmd" in
                                                ;;
                                esac
                                verbose git pull
+                               verbose git remote prune origin
                                cd "$d0"
                        else
                                verbose git clone "$url" "$d0/$d"