esac
fi
;;
+ git://*|git+*://*)
+ if [ -d "$DIR" ]; then
+ if [ ! -d "$DIR/.git" ]; then
+ echo "$DIR is not a git checkout; cannot update" >&2
+ continue
+ fi
+ (cd "$DIR" && git pull "$VERSION")
+ else
+ git clone "$VERSION" "$DIR"
+ fi
+ ;;
*)
if [ -d "$DIR" ]; then
if [ ! -d "$DIR/{arch}" ]; then