Home
last modified time | relevance | path

Searched refs:TEMP_BRANCH (Results 1 – 1 of 1) sorted by relevance

/external/v8/tools/
Dcommon-includes.sh35 TEMP_BRANCH=$BRANCHNAME-temporary-branch-created-by-script
119 if [ "$CURRENT_BRANCH" != "$TEMP_BRANCH" ] ; then
120 delete_branch $TEMP_BRANCH
121 git checkout -b $TEMP_BRANCH
131 [[ "$TEMP_BRANCH" != "$CURRENT_BRANCH" ]] && git branch -D $TEMP_BRANCH