Searched refs:GITREFERENCE (Results 1 – 1 of 1) sorted by relevance
125 GITREFERENCE=127 GITREFERENCE=$OPTION_GIT_REFERENCE128 if [ ! -d "$GITREFERENCE" -o ! -d "$GITREFERENCE/build" ]; then129 echo "ERROR: Invalid reference repository directory path: $GITREFERENCE"132 dump "Using git clone reference: $GITREFERENCE"142 if [ "$GITREFERENCE" ]; then143 GITFLAGS=$GITFLAGS" --shared --reference $GITREFERENCE/$1"