Lines Matching refs:git
18 # from the git server at android.googlesource.com and package them in a nice tarball
40 register_var_option "--git-date=<date>" GIT_DATE "Only sources that existed until specified <date>"
42 GITCMD=git
43 register_var_option "--git=<executable>" GITCMD "Use this version of the git tool"
46 register_var_option "--git-base=<git-uri>" OPTION_GIT_BASE "Use specific git repository base"
49 register_var_option "--git-reference=<path>" OPTION_GIT_REFERENCE "Use local git reference"
75 tree, use '--git-date=now' instead.
77 If you don't want to use the official servers, use --git-base=<path> to
78 download the sources from another set of git repostories.
81 toolchain repositories on your machine. Use --git-reference=<path> to
83 be used as git clone shared references.
90 # Check that 'git' works
93 echo "The git tool doesn't seem to work. Please check $GITCMD"
96 log "Git seems to work ok."
123 dump "Using git clone prefix: $GITPREFIX"
132 dump "Using git clone reference: $GITREFERENCE"
135 # Clone a given toolchain git repository
145 dump "Cloning git repository for toolchain/$1"
147 run ln -s "$GITPREFIX/$1" $CLONE_DIR/$1.git
149 log "cloning $GITPREFIX/$1.git"
150 (cd $CLONE_DIR && run $GITCMD clone $GITFLAGS $GITPREFIX/$1.git)
152 fail_panic "Could not clone $GITPREFIX/$1.git ?"
155 # Checkout sources from a git clone created with toolchain_clone
167 local GITOPTS="--git-dir=$CLONE_DIR/$NAME/.git"
168 log "Checking out $BRANCH branch of $NAME.git: $@"
180 (printf "%-38s " "toolchain/$NAME.git $BRANCH"; $GITCMD $GITOPTS log -1 --format=oneline $REVISION) >> $SOURCES_LIST
185 CLONE_DIR=$TMPDIR/git
