auto-"git remote prune origin" when ./all update'ing

diff --git a/all b/all
index d0d826cbd3b27895fd924b5da2be8c03e6c27b03..f164928cc79a75df3e79f3750aec7aafc8706577 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"