Lines Matching refs:downloading
308 echo " --git-branch=<name> Specify which branch to use when downloading the sources [$GIT_BRANCH]"1008 echo "downloading sources for toolchain/$1"1065 echo "Downloading $PACKAGE"
