diff options
Diffstat (limited to 'tool')
| -rwxr-xr-x | tool/git-refresh | 19 |
1 files changed, 6 insertions, 13 deletions
diff --git a/tool/git-refresh b/tool/git-refresh index 7f5361a853..e3aa1b0970 100755 --- a/tool/git-refresh +++ b/tool/git-refresh @@ -3,24 +3,17 @@ set -e quiet= branch= -OPT_SPEC="\ -${0##*/} [options] URL dir [options] --- -C=directory Change directory -q,quiet Quiet -b,branch=branch Checkout branch -" -rev="$(echo "$OPT_SPEC" | git rev-parse --parseopt -- "$@")" -status=$? -eval "$rev" -[ $status = 0 ] || exit $status until [ $# = 0 ]; do case "$1" in --) shift; break;; - -C) shift; cd "$1";; + -C|--directory) shift; cd "$1";; + -C*) cd "${1#-C}";; + --directory=*) cd "${1#*=}";; -q) quiet=1;; - -b) shift; branch="$1";; + -b|--branch) shift; branch="$1";; + -b*) branch="${1#-b}";; + --branch=*) branch="${1#*=}";; -*) echo "unknown option: $1" 1>&2; exit 1;; *) break;; esac |