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