diff options
Diffstat (limited to 'tool/git-refresh')
| -rwxr-xr-x | tool/git-refresh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tool/git-refresh b/tool/git-refresh index 2ee5bbfa39..1c1689cd2c 100755 --- a/tool/git-refresh +++ b/tool/git-refresh @@ -29,14 +29,15 @@ done url="$1" dir="$2" shift 2 +[ x"$branch" = x ] && unset branch || : if [ -d "$dir" ]; then echo updating `expr "/$dir/" : '.*/\([^/][^/]*\)/'` ... [ $quiet ] || set -x $CHDIR "$dir" - ${branch:+git fetch "$@"} - exec git ${branch:+checkout} "${branch:-pull}" "$@" + ${branch+git fetch "$@"} + exec git ${branch+checkout} "${branch-pull}" "$@" else echo retrieving `expr "/$dir/" : '.*/\([^/][^/]*\)/'` ... [ $quiet ] || set -x - exec git clone ${branch:+--branch "$branch"} "$url" "$dir" "$@" + exec git clone ${branch+--branch "$branch"} "$url" "$dir" "$@" fi |