diff options
| -rwxr-xr-x | tool/git-refresh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tool/git-refresh b/tool/git-refresh index 1c1689cd2c..d36c4d80bc 100755 --- a/tool/git-refresh +++ b/tool/git-refresh @@ -34,10 +34,10 @@ if [ -d "$dir" ]; then echo updating `expr "/$dir/" : '.*/\([^/][^/]*\)/'` ... [ $quiet ] || set -x $CHDIR "$dir" - ${branch+git fetch "$@"} + ${branch+git} ${branch+fetch} ${branch+"$@"} 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+"$branch"} "$url" "$dir" "$@" fi |