diff --git a/tool/git-refresh b/tool/git-refresh index d36c4d80bc..9ed7d7c76e 100755 --- a/tool/git-refresh +++ b/tool/git-refresh @@ -31,6 +31,9 @@ dir="$2" shift 2 [ x"$branch" = x ] && unset branch || : if [ -d "$dir" ]; then + if [ x"$(git -C "$dir" describe --tags)" = x"$branch" ]; then + exit 0 # already up-to-date + fi echo updating `expr "/$dir/" : '.*/\([^/][^/]*\)/'` ... [ $quiet ] || set -x $CHDIR "$dir"