Lines Matching full:repository
307 You can provide the path to a local copy of the toolchain sources repository
343 echo " --git-reference=<path> Use a git reference repository"
344 echo " --git-base=<url> Use this git repository base [$GIT_BASE]"
372 echo "ERROR: Invalid reference repository directory path: $GIT_REFERENCE"
1208 # This function is used to clone a source repository either from a given
