diff --git a/scripts/Download b/scripts/Download index f76c19198..d85fe90a9 100755 --- a/scripts/Download +++ b/scripts/Download @@ -412,8 +412,8 @@ download_file() { if [ "$mirror" -a "$mirror" != "none" ] ; then # try to use mirror if ! download_file_now "!$mirror/${bzfile#download/}" $bzfile $bzfile; then - # oops... so try direct - echo "INFO: download from mirror failed, trying direct." + # oops... so try direct (original URL) + echo "INFO: download from mirror failed, trying original URL." download_file_now $location $gzfile $bzfile else gzfile="$bzfile"